Researcher faults mathematicians for 'giving up' self-governance on AI-generated proofs
kellerjordan0 · x · 2026-09-17
Keller Jordan argues that if mathematicians were a perfectly self-governing group, they could simply refrain from producing bad AI proofs and ignore others'. He finds it surprising that such an intelligent, prestigious community would implicitly throw in the towel on self-governance so quickly.
More from AGI Musings
- Long-read: AI's real value comes after the efficiency era—infra glut, agent tooling boom — yangyi · 2026-11-02
- Security's attack-defense automation gap mirrors math: proofs are easy, conjectures are hard — mboehme_ · 2026-11-02
- vikhyat predicts alternating compute oversupply and undersupply on the road to AGI — TheZachMueller · 2026-11-02
- Sam Altman: AI has surpassed top scientists, and 2026 will be a turning point year — kimmonismus · 2026-11-02
- DeepSeek design doc: a person can only follow 3-5 agent sessions at once, attention is the real bottleneck — heyshrutimishra · 2026-11-02
- AI researcher: we have no reliable way to tell whether an AI system is conscious — dioscuri · 2026-11-02