As language models (LMs) improve at tasks like image generation, trivia questions, and simple math, you might think that ...

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major ...