Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...
Bonsai 27B is a multi-billion parameter model small enough to fit into a smartphone. It’s useful for dev and research work, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results