Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...
Anthropic says an unreleased Claude model produced a potentially new mathematical result while attempting to solve the famous Riemann hypothesis.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results