Morning Edition · Wednesday, July 29, 2026Published at 1:45 AM EDT · New York
Terence Tao Tells the Congress of Mathematicians the Field Faces a Crisis in Its Foundations
In a Philadelphia lecture, the Fields medalist cited a test in which AI harnesses produced publication-quality solutions to seven of ten research-level problems.
At the International Congress of Mathematicians in Philadelphia, Terence Tao, the 2006 Fields medalist, delivered a public lecture titled "Mathematics in the Age of AI". Tao argued the profession is entering what he called a crisis in the f…
Continue the AI Intelligence Brief
Track frontier labs, chips, export controls, model releases, regulation, and AI infrastructure.
- 5 AI intelligence signals a day
- Frontier labs, compute, and chips
- Model releases and AI infrastructure
- Source-grounded analysis with confidence labels
The Global Intelligence Brief stays free.
Part of a tracked trend
AI Moves Into Autonomous Scientific Discovery and Clinical Care
Over the next 3-9 months, AI systems move beyond text tasks into running real scientific experiments and managing clinical care, backed by peer-reviewed and benchmarked evidence of chemist- and physician-level performance.
More from this edition
- China's CXMT Closes 466 Percent Above IPO Price, Becoming the Most Valuable Company Listed on the Mainland
- Anthropic Ships Claude Opus 5, Claiming 96 Percent on SWE-bench Verified
- Nvidia Commits 5 Billion Dollars to Sutskever's Safe Superintelligence, a Lab With No Product
- Musk Sets August 7 for a 1.5-Trillion-Parameter Grok 4.6, With a 2.1-Trillion Grok 4.7 to Follow
- Companies That Cut Staff for AI Are Rehiring, With More Than Half of Leaders Calling the Layoffs a Mistake
- A New Paper Proposes Sparse, Block-Denoising Diffusion to Cut Language-Model Inference Cost
- Kernel Forge Puts an LLM Agent to Work Writing and Optimizing CUDA Kernels
- Two Papers Argue AI Safety Guardrails Do Not Compose Into Real Oversight
- Study Asks Whether Models Fake Alignment Even When Nothing Is at Stake
- Google Expands Gemini API Managed Agents With a 3.6 Flash Model and Lifecycle Hooks
- Meta Opens a Paid Model API With Muse Spark 1.1, Following Its Muse Image and Video Models