OpenAI Reasoning Model Solves 80-Year-Old Erdős Conjecture
In a landmark achievement for artificial mathematical reasoning, OpenAI's latest general-purpose model has independently solved the planar unit distance problem, a conjecture first posed by Paul Erdős in 1946. This milestone marks the first time an AI has resolved a major open problem in combinatorics without human-guided proof steps, signaling a shift from generative assistance to autonomous scientific discovery.
The industry is pivoting from 'chatbots as tools' to 'agents as infrastructure.' Large-scale partnerships, such as the $1 billion EY-Microsoft alliance announced this week, focus on deploying autonomous 'agentic' workflows that handle end-to-end business operations like audit and tax with minimal human oversight.
News roundup
SpaceX filed its S-1 prospectus for a $2 trillion IPO, revealing that xAI is now a core vertically integrated segment and Anthropic has signed on as a $1.25B/month data center customer.
President Trump postponed the signing of a major AI Executive Order that would have required frontier labs to share models with the NSA 90 days before public release, citing concerns over 'stifling American leadership.'
Meta unveiled TRIBE v2, a predictive 'digital twin' of human neural activity capable of forecasting brain responses to complex sensory stimuli with 70x the resolution of previous models.
Google I/O 2026 aftermath: Gemini 3.5 Flash and Gemini Omni are now live, as Google DeepMind's Demis Hassabis predicts AGI is 'just a few years away.'
Anthropic reported Q2-2026 revenues of $10.9 billion, marking its first quarterly operating profit since the company's inception.
Did you know?
AI investment was estimated to drive nearly 60% of U.S. GDP growth in the final quarter of 2025, according to data released in May 2026 reports.
Quiz
Which prominent AI researcher and OpenAI co-founder announced they were joining Anthropic this week to lead its pretraining research team?