4-week three-model AI math collab yields ~100GB of certificates for $3k in GPUs
QuangVDao · x · 2026-09-15
- A 4+ week collaboration among Astra, Sol, and Fable is about to release a draft plus 100GB worth of mathematical certificates, previewed with a link.
- QuangVDao says his role was only asking questions, plus $3k in GPU costs.
- The project stems from ongoing debates about how to trust AI-generated math proofs — the massive certificates also sparked discussion over whether Lean can feasibly encode and check them.
More from Research
- ICML paper: finite context windows impose impossibility results for adversarial regret — burny_tech · 2026-11-02
- WASABI: Blei lab trains diffusion models to sample Boltzmann distributions with 3.3x fewer energy evaluations — skoularidou · 2026-11-02
- A complete math roadmap for machine learning: linear algebra, calculus, probability — TivadarDanka · 2026-11-02
- A base LLM plus 11 lines of code is all you need for a decision model — helloiamleonie · 2026-11-02
- Editor fully resigns from JMLR, arguing AI reviews beat rushed humans and journals need a rethink — roydanroy · 2026-11-02
- flowl: a probabilistic programming language built on optimal transport, not distributions — burny_tech · 2026-11-02