cd/entity/International Congress of Mathematicians· home entities International Congress of Mathematicians
grep -l @international congress of mathematicians /news/*.json | wc -l → 7

International Congress of Mathematicians

mentions 7 type Person feed RSS

// recent coverage 7 mentions

18:08
2026-08-20
time.com
artificial-intelligence

What Happens When the World is Run on Code No One Understands?

Jacob Tsimerman, a University of Toronto professor and Fields Medal winner, announced he is leaving academia to work on AI safety at OpenAI, citing that the mathematical career may not survive in its …

04:01
2026-08-19
arxiv.org
artificial-intelligence

Mathematics in the Age of AI

An essay based on a public lecture at the 2026 International Congress of Mathematicians examines how the mathematical community should respond to AI tools capable of performing research-level mathemat…

16:04
2026-08-04
understandingai.org
artificial-intelligence

How mathematicians are responding to AI

At the International Congress of Mathematicians in Philadelphia, Fields Medal winner Jacob Tsimerman announced he is joining OpenAI's safety team and expressed confidence that AI will soon become 'rob…

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 8 entities
// topics top 6 topics