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
- Elo-per-token Analysis Explains Why LLM Agents Scale Fast Then Slow Down — Kaiyuan Liu · 2026-09-15
- KaiNinja Extends Native 3D Generators to Part-Level Outputs — AlayaLab · 2026-09-15
- Google: Structured Intermediate Specs Unlock Diverse UI Exploration for Vibe Design Agents — google · 2026-09-15
- Fruit fly brain fully mapped: 166k neurons, roughly a 1B-parameter SLM — anselm · 2026-09-15
- SmartNews Co-founder Ken Suzuki Launches ALife Institute in Kyoto with Nintendo Family Backing — Hidenori8Tanaka · 2026-09-15
- Open-source libgnss++ hits ~10mm static accuracy using Japan's CLAS corrections, no base station — rsasaki0109 · 2026-09-15