Dimitris teases 4-week collab dropping tomorrow: ~100GB of certificates for $3k in GPUs
DimitrisPapail · x · 2026-09-15
Dimitris Papailiopoulos announced (joking he'd hit his own "usage limit on understanding") that a 4+ week collaboration among Astra, Sol & Fable will drop tomorrow: a draft plus 100GB worth of certificates. His role was "just asking questions" and $3k in GPUs. The certificate-based framing hints at verifiable-compute or proof-related work; details to come with the release.
Related event: AI Agents Collaborate for Four Weeks to Produce New Math Results for $3,000(3 posts)→
More from Research
- ICML 2025 Position Paper by 16 Researchers: Stop Treating AGI as AI's North-Star Goal — haydenfield · 2026-09-15
- Computer-assisted proof debate: author to release 100GB of independently checkable verifications — DimitrisPapail · 2026-09-15
- Cross-verifying AI math proofs with hundreds of agent calls instead of Lean — DimitrisPapail · 2026-09-15
- Why encoding massive numerical-certificate proofs in Lean is impractical — QuangVDao · 2026-09-15
- Two days doing neuroscience with Fable 5.1: strong research taste, clings to known hypotheses — generativist · 2026-09-15
- Weekly must-read papers: world models and robotic VLA dominate the list — TheTuringPost · 2026-09-15