Math genius Terence Tao says that AI still can't "smell" bad math
Terence Tao, widely regarded as a mathematical prodigy, says that AI still lacks what he calls a mathematical "sense of smell."<br /> The article Math genius Terence Tao says that AI still can't "smell" bad math appeared first on THE DECODER. [...]
Rating
Innovation
Pricing
Technology
Usability
We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.
Terence Tao argues AI could bring division of labor to math for the first time in history
Mathematician Terence Tao describes how AI could reshape math research by enabling division of labor for the first time. Until now, researchers had to master every step themselves, from framing proble [...]
Terence Tao says GPT-5.2 Pro cracked an Erdős problem, but warns the win says more about speed than difficulty
Terence Tao says OpenAI's GPT-5.2 Pro has solved an open Erdős problem largely on its own for the first time. He calls it a milestone but warns against reading too much into it. For Tao, the mor [...]
Terence Tao proposes "artificial general cleverness" as a more honest label for what AI actually does
Renowned mathematician Terence Tao has proposed a new way to think about AI capabilities. On Mastodon, Tao questions whether true "artificial general intelligence" (AGI) is actually achievab [...]
Terence Tao says AI drives idea generation cost to near zero but shifts the bottleneck to verification
Terence Tao compares AI's impact on mathematics to the automobile's effect on cities: new technology needs new infrastructure, or it just clogs the old roads. His analysis applies far beyond [...]
Lean4: How the theorem prover works and why it's the new competitive edge in AI
Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high- [...]
Phi-4 proves that a 'data-first' SFT methodology is the new differentiator
AI engineers often chase performance by scaling up LLM parameters and data, but the trend toward smaller, more efficient, and better-focused models has accelerated. The Phi-4 fine-tuning methodology [...]
OpenAI's GPT-5.4 Pro reportedly solves a longstanding open Erdős math problem in under two hours
GPT-5.4 Pro solves an open Erdős problem in 80 minutes. Terence Tao calls it a meaningful contribution to mathematics.<br /> The article OpenAI's GPT-5.4 Pro reportedly solves a longstandi [...]