Two kernels check OpenAI's Lean proof on Siegel zeros
Oct 10, 2026 0 views
We rebuilt OpenAI's Lean proof from source and checked it with Lean's kernel and with nanoda, an independent kernel
SaltWorks, from application code to silicon
Oct 09, 2026 0 views
A small fleet of AI agents, a proof kernel as referee, and a chip on a community shuttle
Open Buildings 2.5D Temporal dataset tracks building changes across the Global South
Sep 22, 2024 2965 views
