Tag
Thomas Bloom announces changes to Erdosproblems.com after AI-driven solutions reshaped the site's community, noting both progress on open problems and negative effects like unexplained AI solutions and human mathematicians being discouraged.
Stephen Wolfram argues that AI-assisted headlines about solving math problems often misunderstand what pure mathematics is really about, drawing parallels to Mathematica's introduction in 1988, and contends that AI's greatest value in math lies in thematically mining and connecting human mathematical knowledge rather than replacing human researchers.
OpenAI announced an AI-generated solution to the Navier-Stokes existence and smoothness problem, sparking debate on the role of AI in mathematics and whether mathematics is merely about problem-solving.
OpenAI has released ten results on mathematical problems with no progress for a decade, sparking debate over validation standards for AI-assisted proofs.
Terry Tao's ICM 2026 lecture 'Mathematics in the Age of AI' has been posted to YouTube, exploring how AI, formal verification, and collaboration platforms are transforming mathematical practice while noting their current limitations.
A non-mathematician used ChatGPT to identify a normalization error in two recently published Riemann Hypothesis papers, and the author confirmed the issue after being contacted. The story highlights AI's growing role in assisting mathematical research.
The article explores how AI is transforming mathematics, raising questions about the role of human mathematicians. It features perspectives from experts like Terence Tao and discusses the potential for AI to automate parts of mathematical discovery.
Terry Tao, a renowned mathematician, discusses his evolving views on artificial intelligence in mathematics and his advocacy for large-scale collaborations and computer verification of proofs.
The Leiden Declaration on Artificial Intelligence and Mathematics calls for action to address challenges and opportunities of AI in mathematics research, emphasizing ethical values and responsibilities. It is endorsed by the International Mathematical Union.
Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.