cd/entity/International Congress of MathematiciansΒ· homeβ€Ί entitiesβ€Ί International Congress of Mathematicians
grep -l @international congress of mathematicians /news/*.json | wc -l β†’ 2

International Congress of Mathematicians

mentions 2 type Person feed RSS

// recent coverage 2 mentions

20:08
2026-07-26
sourcefeed.dev
artificial-intelligence

Tao at ICM: AI Makes Proofs Cheap and Trust Expensive

Terence Tao, in his public lecture at the International Congress of Mathematicians on July 24, argued that AI will soon generate proofs faster than humans can verify, digest, or trust, creating a cris…

18:10
2026-07-26
sourcefeed.dev
artificial-intelligence

Terence Tao's Proof-Abundance Problem Is Software's Too

Terence Tao's International Congress of Mathematicians 2026 lecture on Goodhart's law and verification bottlenecks in mathematics maps directly onto AI code generation, arguing that AI-scale proof gen…

// co-occurs with top 7 entities
Terence Tao 2 First Proof 2 Lauren Williams 1 Harvard 1 Lean 1 OpenAI 1 ErdΕ‘s Problems 1
// topics top 5 topics
artificial intelligence 2 ai research 2 ai ethics 2 ai tools 1 ai safety 1