OPENAI MODEL CRACKS 80-YEAR-OLD MATH PROBLEM
■ AI-SUMMARIZED FROM 1 SOURCE ▸ TIMELINE
An OpenAI model has solved a longstanding mathematical problem that eluded human mathematicians for eight decades. The achievement demonstrates significant progress in AI's capacity for complex mathematical reasoning.
■ MORE FROM THE AI DESK
Two former Department of Government Efficiency staffers have launched a new company to acquire businesses and slash operational waste using artificial intelligence, extending DOGE's cost-cutting playbook to the private sector.
Gary Marcus, NYU emeritus professor and AI entrepreneur, described a recent executive order on artificial intelligence regulation as a watershed moment for U.S. policy, marking a sharp departure from the previous administration's deregulatory stance.
OpenAI has released an update to its GPT-5.5 Instant model while announcing plans to discontinue multiple legacy models, including o3.
Microsoft released MAI-Thinking-1, a new AI model family designed to improve reasoning capabilities. The launch includes seven distinct model variants targeting different use cases.