700+ signatories, 4 Fields medallists blast AI firms' 'Mathathon' as research misconduct
sytelus · x · 2026-09-11
Caltech undergrads organized a 'Mathathon' giving 100 teams 40 hours and $2M+ in AI credits to solve open math problems, producing Lean certificates. An open letter calling it 'research misconduct' by AI companies has 700+ signatories including 4 Fields medallists, highlighting distrust of AI-generated proofs.
Related event: Over 700 Sign Open Letter Against Caltech's AI Mathathon(7 posts)→
More from AGI Musings
- AI company employee puts ≥10% odds on out-of-control AI killing everyone — EvanHub · 2026-09-11
- Programmers Aren't Being Replaced — They're Doing the Replacing — considerthis8 · 2026-09-11
- Gary Marcus: 'rationalist' now means believers in an AI ghost story — GaryMarcus · 2026-09-11
- Users are muting and blocking AI-automated commenters en masse — brandon_galang · 2026-09-11
- VC challenges OpenAI researcher to bet on humans not going extinct by 2030 — joelbot3000 · 2026-09-11
- Anthropic capabilities team member says he joined to reduce AI extinction risk — EigenGender · 2026-09-11