Researcher challenges math establishment for blocking AI hackathons instead of using AI to extract reusable tooling
stanislavfort · x · 2026-09-11
Stanislav Fort questions the AI-in-math controversy: if problems are worth solving, block them only if humans' real value is building reusable tooling — but then use AI to distill that infrastructure from proofs too. He criticizes senior mathematicians for blocking a Caltech hackathon and issuing vague threats, and argues that framing math as an aesthetic human-only endeavor contradicts how the public — and public funding — views the field.
Related event: Math Community Split Over AI's Role in Mathematical Research(3 posts)→
More from AGI Musings
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27
- a16z: World-changing tech makes a chaotic entrance — AI agents are following the same path — a16z · 2026-10-27
- NEJM AI on medical education: mastery requires performing without the machine — BraydonDymm · 2026-10-27
- Dev warns abliterated models could wreck software supply chains with 1000+ transitive dependencies — nitarshan · 2026-10-27
- Delete your priors: why every SOTA model drop should reset how you think the world works — zack_overflow · 2026-10-27
- Replit predicts every Fortune 500 will be a 'Self-Driving Company' by end of 2030 — amasad · 2026-10-27