Unbiased AI-powered news
A general-purpose AI model developed by OpenAI has solved a prominent open problem in mathematics. The achievement involved disproving an 80-year-old conjecture without using specialized mathematical tools.
benzinga.comA general-purpose AI model developed by OpenAI has disproved an 80-year-old conjecture on unit distances. The model reached the result autonomously while exploring connections between geometry and number theory. The system examined concepts from Golod-Shafarevich theory during its analysis.
It identified links between geometric structures and deeper number theory questions that had not been previously explored by researchers. This marks the first reported instance of an AI system solving a prominent open problem in mathematics. The model was not built as a specialized math solver but applied general reasoning capabilities to the task.
Background on the Achievement The conjecture addressed questions about unit distances that had remained unresolved for eight decades. The AI approach differed from traditional methods by operating without domain-specific programming for mathematical proofs.
Observers note that the result demonstrates how general-purpose models can engage with advanced theoretical problems. Further verification of the solution is expected in the coming period.
Single source — no framing comparison available.
globalnews.caTwenty-two member states pledged 30 to 35 gigawatts of new capacity by 2028 under the bloc's first tripartite deal. The European Commission will oversee annual progress tracking through 2028 as part of the Affordable Energy Plan.
zerohedge.comApple sued OpenAI and two former employees on July 10 in federal court in California. The complaint claims misappropriation of confidential engineering data and product details.
WiredFidji Simo will move to a part-time advisory position after extended medical leave. She joined OpenAI in May 2025 as CEO of Applications.