21:25
2026-08-22
mathoverflow.net
artificial-intelligence
In the age of AI, should math papers be thought of as "prompts"?
A mathematician argues that AI-assisted verification could lower the rigor required in math papers, shifting the burden from authors to reviewers. The author notes that full formal verification remain…