The recent ‘AI will replace mathematicians’ discussion makes me wonder what counts as finishing the job. Anthropic’s September 4 Fermat project formalized an existing proof with an internal Claude model. Its own write-up says a formalized proof should not replace a human-understandable explanation. OpenAI’s October 6 math release likewise says it plans to improve exposition and presentation. A verified result can be valuable, while an explanation gives other people ideas they can reuse. My tentative view is that mathematicians won’t be made obsolete by proof generation alone. But if AI can reliably explain new results, connect them to other work, and help choose useful questions, that is a much stronger challenge to the profession. What demonstration would change your mind - an independently checked new theorem, a clear new proof people can learn from, or a sustained research program? Sources: https://www.anthropic.com/news/formalizing-fermats-last-theorem https://openai.com/index/sharing-ai-progress-in-mathematics/ submitted by /u/Alchemistwiza
Originally posted by u/Alchemistwiza on r/ArtificialInteligence
You must log in or # to comment.