Audit table tracks false proofs, withdrawn papers, and AI-linked math claims
RexDouglass · x · 2026-07-27
A shared table catalogs several long-running audit and tracking efforts around mathematical false proofs, withdrawn papers, and AI-linked claims about open problems.
- It lists the scope, time window, and counts for trackers such as Fermat’s Last Theorem false proofs, WithdrawarXiv, WithdrawarXiv-Check, Retraction Watch math papers, AI open-problem claim trackers, Erdős problems wiki entries, and benchmark-audit cases.
- The broader point is that there is now a structured ecosystem for monitoring dubious claims, errors, withdrawals, and benchmark issues across mathematics and AI-related research.
More from AGI Musings
- AI may automate the pipeline that creates experts before it automates experts themselves — imjustnewatai · 2026-07-27
- A long thread argues AI will break the expert pipeline before it replaces experts — imjustnewatai · 2026-07-27
- If AI shapes your beliefs to match the crowd, do you still stand apart? — PierceLilholt · 2026-07-27
- Altman, Hassabis, Musk and Huang all frame AI as already at the singularity — haider1 · 2026-07-27
- William Gibson’s quotes frame AI as a question of what humans do with it — joshua_saxe · 2026-07-27
- Survey finds 21.85% of neuroscientists think mental uploading may be possible — matiroy · 2026-07-27