Earlier this year, a trio of mathematicians decided to make lemons into lemonade — and ended up making major headway on a problem that mathematicians have been thinking about for centuries.

The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, connects quantum mechanics to infinitely intricate mathematical structures. Hofstadter was ...