sair

Inverse Galois Problem (IGP24). Degree 24 polynomial construction, Frobenius fingerprinting and LMFDB baseline analysis for the SAIR Foundation competition.

Lean Kernel Challenge. Independent Lean 4 proof checker: NDJSON export reader, type checker and arena harness for the SAIR Foundation competition.

Modular Arithmetic Challenge. Neural induction of exact (a x b) mod p through abacus embeddings, algorithmic scratchpads and grokking, for the SAIR Foundation competition.

Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.

A single index to every SAIR Foundation challenge entered: the open problem each one states, the repository holding the method and the code, and what that method actually reached. Open science competitions in mathematics and computation, run by the Foundation for Science and AI Research.

Andrews-Curtis Conjecture (ACC) Challenge. Short trivialisations of balanced presentations of the trivial group: the AC moves, a replay verifier and a measured baseline search, for the SAIR Foundation competition.

Public companion to Lean-checked equational implication solvers: frozen artifacts, released-input evaluations, and an English research paper.

mcp server to communicate with the https://docs.sair.foundation/docs/ of the SAIR Challenges API

A replica of Mathematics Distillation Challenge's Equational Theories Playground

Independent bilingual (EN/ZH) analysis of the SAIR Math Distillation Challenge — single-prompt ceiling, cross-distribution fragility, and cognitive trust.

Simulator for SAIR model proposed in Piqueira, J. R. C., Navarro, B. F., & Monteiro, L. H. A. (2005). Epidemiological models applied to viruses in computer networks. Journal of Computer and System Sciences.