Universal Music is launching an AI music platform with ElevenLabs4m ago One resignation turned the embers of AI fear into a wildfire14m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding42m ago Instagram now lets you add tagged photos to your profile grid43m ago Meta Announces Muse AI Agent for Personal Tasks and Organization43m ago AI agents are flooding public services with new requests49m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99949m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'51m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities59m ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h ago Maven Robotics wants to steal your robot deployment deal1h ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford1h ago

Universal Music is launching an AI music platform with ElevenLabs4m ago One resignation turned the embers of AI fear into a wildfire14m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding42m ago Instagram now lets you add tagged photos to your profile grid43m ago Meta Announces Muse AI Agent for Personal Tasks and Organization43m ago AI agents are flooding public services with new requests49m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99949m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'51m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities59m ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h ago Maven Robotics wants to steal your robot deployment deal1h ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford1h ago

Education AI Research Society & Culture57 min reading time

Live from ICM 2026: What Is Math For in the Age of AI?

Quanta MagazinePublished 7 days ago

At the 2026 International Congress of Mathematicians, experts discussed AI's growing role in mathematics, including AI-generated proofs and the impact on human creativity and understanding in the field. The conversation explored what mathematicians value about their work and the evolving meaning of proof and storytelling in math.

More on this story

AI Doesn't Mean the End of Mathematics – At Least Not Yet
13d· Hacker News

#akshay-venkatesh #alex-kontorovich #institute-for-advanced-study #international-congress-of-mathematicians #mathematics #ravi-vakil

More in Education

Education5 min read

What is ChatGPT for Teens and how does it work?

BBC5h ago

Microsoft Reaches Pact With Teachers Union to Keep AI in the Classroom

Bloomberg5h ago

Education6 min read

Microsoft Signs Binding AI Safety and Privacy Standard for US Schools

Covered by 2 sources1d ago