Tech Meridian
← ENTITY INDEX
COMPANY · ENTITY #862
Related event timeline, sources and context from the news index.
OpenAI says internal models produced manuscripts including a claimed disproof of the Exponential Time Hypothesis (ETH) and a partial result related to a Millennium Prize Problem. The company published the raw writeups and Lean formalizations, is funding independent review, and has asked outside experts (including a Nobel laureate) to act as "shepherds" to check and interpret the proofs.
Sasha Rakhlin, director of MIT’s Statistics and Data Science Center, published an essay synthesizing recent discussions on how AI is changing research and graduate education. He highlights fast-moving capabilities (e.g., AI solving difficult math problems), the need to rethink credit and training for students who increasingly use AI, and priorities for universities such as preserving tacit knowledge, enabling independent verification, and maintaining some technological independence from industry.
An open letter to the president of the Royal Society from 42 mathematical fellows — including Fields Medalists Martin Hairer, Peter Scholze and Wendelin Werner — warns that advanced AI presents a real and urgent existential risk. The letter, citing rapid progress (it notes leading models from OpenAI and Anthropic have recently solved open research problems, including one Millennium Problem), says similar fast gains could produce superhuman capabilities in domains such as cybersecurity, autonomous weapons, biological and chemical development, and targeted misinformation.
MIT Technology Review reports that OpenAI announced its AI agents have solved one of the Millennium Prize Problems, but the claim has quickly been overshadowed by accusations and controversy. The development — if verified — would be a major milestone for AI in formal mathematics, though details and verification remain disputed.
Allow Google Analytics to measure visits? It stays off until you choose. You can change your choice at any time.