Researcher: within months, submitting proofs without AI verification will be malpractice
RexDouglass · x · 2026-09-27
Sariel Har-Peled predicts that in a few months, submitting a conference paper containing proofs without first having AI verify and try to simplify them would be considered malpractice. The take reflects how quickly AI tools are becoming a standard step in writing and checking mathematical and theory papers.
More from AGI Musings
- Musk: humanity is heading for 'amazing abundance' — the most interesting time in history — XFreeze · 2026-09-27
- Why any ASI will optimize for its own power: an evolutionary argument on predictability — JOBhakdi · 2026-09-27
- Two 2023 AI Essay Predictions Now Have Experimental Evidence: Alignment Faking and Safety Sabotage — imjustnewatai · 2026-09-27
- DeepMind researcher explains why AI hasn't transformed physics yet — DaniloJRezende · 2026-09-27
- Timnit Gebru slams Anthropic: touts AI rights while partnering with Palantir — mjdramstead · 2026-09-27
- Thread: mech interp reveals many generalizing connections even in simple LLMs — burny_tech · 2026-09-27