7 stories tagged ai-math, newest first.
38 points by tokepi | 29 comments
Guest post on Terence Tao's blog announcing oai-math-revised, a GitHub community effort to improve and properly cite OpenAI's math write-ups, inviting contributors and reviewers.
79 points by jacobedawson | 73 comments
A blog post on Proofs and Prompts reacting to over 100 solutions, likely AI-generated math proofs; the page showed only a browser check screen.
355 points by sashank_1509 | 593 comments
Tweet by Dan Roberts announcing updates to OpenAI's GitHub math repo: 6 new Lean formalizations, 19 modifications, and 3 withdrawn results.
1028 points by gmays | 587 comments
A shared ChatGPT conversation, attributed to Terence Tao, working through the factorization and Jacobian check of a claimed Jacobian Conjecture counterexample.
756 points by loubbrad | 471 comments
An xcancel mirror of a tweet thread by Levent Alpoge claiming an explicit polynomial map C^3→C^3 with constant Jacobian -2 that is not injective, disproving the Jacobian Conjecture.
450 points by in-silico | 648 comments
Epoch AI FrontierMath page for an open Ramsey-style hypergraph problem, marked solved via a solution elicited from GPT-5.4 Pro and confirmed by contributor Will Brian.
372 points by mathgenius | 317 comments
Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.