OpenAI researcher offers credits or GPU hours within 3 days for math formalization work
willdepue · x · 2026-10-31
Quoting jdlichtman's claim that formalizing all known math might be possible in 2-3 months with full compute (1 year for a maintainable library), OpenAI's willdepue publicly offered to wire credits or GPU hours within 3 days to anyone doing cool work in this area.
He extended the same funding offer to work on automating exploratory mathematics research — a notable resource commitment from an OpenAI insider to AI-driven math formalization.
More from AGI Musings
- Engineer's viral reflection: being part of the 'last pre-singularity generation' — willdepue · 2026-10-31
- Stewart Alsop: engineering has 3 problem classes, and humans stay relevant — StewartalsopIII · 2026-10-31
- Stian Westlake on research ecosystem health: rigour, pluralism, and impact — ersatzben · 2026-10-31
- Pope comes out against granting AI legal personhood: machines are tools, not persons — WellsLucasSanto · 2026-10-31
- OpenAI's willdepue: Bay Area AI scene has as much greed as earnest idealism — willdepue · 2026-10-31
- DeepMind Safety Researcher Turns Philosopher Christian List's 'Group Agency' Into a Framework for Governing AI Agent Swarms — mikeflache · 2026-10-31