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
- IG reel debunking the 'winning the AI race against China' fallacy hits 500k likes — louisvarge · 2026-09-11
- Researcher questions AI safety eval firm, citing 'blatantly sloppy' security and monitoring — Kyrannio · 2026-09-11
- AI researcher memes agent-swarm tinkering with He Jiankui's embryo-editing quote — dejavucoder · 2026-09-11
- nabla_theta: happy to be wrong if the AI utopia arrives with little ex ante risk — nabla_theta · 2026-09-11
- OpenAI researcher: space operas now need ambiguously aligned superintelligences for realism — jachiam0 · 2026-09-11
- Great Forecasters Aren't Magic: Bare Probabilities Need Model-Based Derivation — Sam_kuyp · 2026-09-11