AGI Capabilities AI News & Updates
OpenAI's Reasoning Model Disproves 80-Year-Old Erdős Conjecture in Geometry
OpenAI claims its new general-purpose reasoning model has autonomously produced an original mathematical proof disproving a famous unsolved conjecture in geometry first posed by Paul Erdős in 1946. This follows a previou...
Runway Secures $315M Series E at $5.3B Valuation to Develop Advanced World Models for AGI
AI video startup Runway raised $315 million at a $5.3 billion valuation to develop next-generation world models, AI systems that create internal representations of environments to predict future events. The company, whic...
AI Language Models Demonstrate Breakthrough in Solving Advanced Mathematical Problems
OpenAI's latest model GPT 5.2 and Google's AlphaEvolve have successfully solved multiple open problems from mathematician Paul Erdős's collection of over 1,000 unsolved conjectures. Since Christmas, 15 problems have been...
Hugging Face Scientist Challenges AI's Creative Problem-Solving Limitations
Thomas Wolf, Hugging Face's co-founder and chief science officer, expressed concerns that current AI development paradigms are creating "yes-men on servers" rather than systems capable of revolutionary scientific thinkin...