One computer scientist’s “stunning” proof is the first progress in 50 years on one of the most famous questions in computer science.

Molecular glues, tiny molecules that connect one protein to another, are promising targets for pharmaceutical research. By ...