AI CRACKS 80-YEAR MATH CONJECTURE
An AI found a counterexample.
Researchers discussed the discovery on the OpenAI Podcast with Andrew Mayne. The team explained how mathematicians and models can collaborate for new breakthroughs.
HEADLINE: Anthropic Proposes Global AI Research Pause
Anthropic urges worldwide slowdown for safety reasons.
They claim society lacks readiness for rapid model growth. Frontier research might require mandatory speed limits eventually.
1X Launches World Model Lab For Robotics
Team rejects fine-tuning for AGI goals.
New lab targets generalizable models for humanoids. Sam Sinha leads efforts to move atoms, not pixels.
GROK RACER LAUNCHES AS ACTIVE GAME
Grok Build generates code using Imagine assets.
The project proves models can now drive full game logic with integrated visuals.