THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
SHOWING 2 OF 229 STORIES
ISSUE 116MORNING
AI, Mathematics and Research Culture
Twenty-five Fields Medalists say AI is optimizing the wrong math problem
A declaration from leading mathematicians says famous problems are being turned into AI scoreboards. A correct endpoint matters, but so do the ideas, credit, teaching, and questions that make it mathematics.
ISSUE 075MORNING
AI and Mathematical Discovery
OpenAI says 10,000 agents helped crack a 90-year-old math problem
The company released a 166-page Navier–Stokes proof and a Lean formalization. That makes the claim inspectable, not automatically settled.