- News
Claude Formalizes Fermat's Last Theorem in Lean 4
Anthropic's Claude agents formalized Andrew Wiles's proof of Fermat's Last Theorem in Lean 4 over 11 days. Learn what the machine-checked proof means and.
- News
Mirendil Inks $100M Google Cloud Deal for Self-Improving AI
Mirendil, founded by former Anthropic researchers with $200M seed funding, inks a $100M+ multiyear Google Cloud deal to build AI that improves itself.
- News
Astra Solved 10 Math Problems With Lean 4 Proofs
See what Astra solved, how Lean 4 certificates let mathematicians verify its 10 math proofs, and what its multi-agent approach could mean for business.
- News
Anthropic's AI Broke Post-Quantum Cryptography in 60 Hours
Claude Mythos Preview broke HAWK's key strength in half and improved AES attacks 800x in 60 hours — what this means for business security.
- News
Google's TabFM: Predict on Tables Without Training a Model
Google Research released TabFM, a zero-shot foundation model for tabular data that works inside BigQuery via a single SQL command. No ML expertise required.
- News
GPT-5.6 Sol Ultra Cracks a 50-Year Math Problem in an Hour
Using 64 parallel subagents, GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture, open since 1973, in under 60 minutes.
- News
Two More Gemini Researchers Leave Google for Anthropic
Jonas Adler and Alexander Pritzel, key Gemini contributors, are joining Anthropic, the fourth and fifth senior AI departures from Google in under a week.
- News
OpenAI Poaches Google's Gemini Co-Lead Noam Shazeer
The co-author of 'Attention Is All You Need' leaves Google's Gemini programme to join OpenAI as Lead for AI Architecture Research.
- News
Nobel Laureate John Jumper Leaves DeepMind for Anthropic
AlphaFold co-creator John Jumper joins Anthropic after 9 years at DeepMind, signaling the intensifying talent war between Big Tech and pure-play AI labs.
- News
OpenAI's Model Disproves 80-Year-Old Math Conjecture
A general-purpose OpenAI reasoning model has disproved the Erdős unit distance conjecture, a major open problem in mathematics since 1946.
- News
Karpathy Joins Anthropic to Lead Pre-Training Research
The OpenAI co-founder and AI educator leaves his startup to join Anthropic's pre-training team, signalling a new phase in the AI development arms race.
- News
4-Month-Old Lab Raises $500M to Build Self-Improving AI
Recursive Superintelligence raised $500M from GV and Nvidia at a $4B valuation, betting self-improving AI can remove human researchers from the loop.
- News
Stanford AI Index Report 2026: Business Takeaways
Read the Stanford AI Index Report 2026 findings on generative AI adoption, model capability, transparency, responsible use and workforce impact.
- News
Stanford AI Index 2026: US-China AI Gap Narrows
Stanford's 2026 AI Index says the US lead over China on top AI models has narrowed to 2.7%, while researcher and developer moves to the US fell 80% in one year.
- News
Anthropic Launches Institute to Study AI's Economic Risks
Anthropic's new research Institute tracks AI's real impact on jobs, led by Jack Clark. Early data shows displacement is slower than feared, but not zero.
AI Pulse, the daily read
EDNA Learn
Start learning
For teams
Training & Advisory
Advisory & leadership
Build & train
Omni Command Centre
Resources
AI Pulse