SAIR Foundation is launching an initiative to build open-weight AI models for mathematics and science, with community-driven development, open licensing, and researcher control over data and training. The foundation is accelerating its timeline and seeking partners to contribute funding, compute, and expertise to create tools that support mathematical research and education.
SAIR launches Stage 1 of the Lean Kernel Challenge, a competition to improve verified computation performance in Lean 4 with eight problems spanning Fibonacci to SHA-256. Participants must develop algorithms and formally prove correctness in Lean, with submissions due November 20, 2026.