A young researcher on MathOverflow raised questions about how the mathematical community should adapt to AI, asking whether AI-generated proofs should be published, how to handle undisclosed AI use, a…
A mathematician asked Claude Fable, an AI model, to prove constraints on near perfect numbers, and Claude produced a document available at a Dropbox link. The mathematician is now questioning whether …
Jacob Tsimerman, a Fields medalist in algebraic geometry, has pivoted to machine learning despite lacking technical expertise, claiming that mathematics is dead or changing dramatically. The mathemati…
A MathOverflow question is collecting verified examples where large language models (LLMs) such as ChatGPT have led to major mathematical developments, with an emphasis on achievements where AI direct…
A researcher who prompted ChatGPT to generate a breakthrough in a field outside their expertise reports that the AI produced a counterexample to an open conjecture about polynomials with real roots, l…
A discussion on Reddit's mathematics community highlights the nuanced art of prompting AI systems to solve mathematical problems, citing a document by Aaron Lou that demonstrates a carefully construct…