OpenAI Reasoning Model Solves 80-Year-Old Erdős Math Conjecture
In a landmark achievement for autonomous science, an internal OpenAI reasoning model has disproved the Erdős unit distance conjecture, a problem in discrete geometry that has remained open since 1946. The 125-page proof, verified by leading mathematicians, marks the first time a general-purpose AI has solved a major theoretical conjecture without human guidance, signaling the start of the 'Autonomous Researcher' era.
DeepSeek slashes V4-Pro pricing by 75% to $0.435 per 1M tokens, challenging Western labs on price-performance.
Anthropic co-founder Jack Clark predicts AI will contribute to a Nobel Prize-winning discovery within the next 12 months.
Meta announces 8,000 layoffs to redirect $125B in capital expenditures toward AI infrastructure and custom silicon.
SpaceX files for a record-breaking $80 billion IPO, with OpenAI expected to follow suit by the end of 2026.
OpenAI opens a $445,000 safety researcher role dedicated to modeling the risks of recursive AI self-improvement.
Did you know?
OpenAI's newly released GPT-5.5 Instant has reportedly achieved a 52.5% reduction in hallucinations compared to GPT-5.3, largely by implementing a new 'asynchronous reasoning' mode that audits its own logic before generating a response.
Quiz
Which new Google model was announced at I/O 2026 specifically for low-latency, on-device inference on Android and ChromeOS?