Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Michael A. Jones has a Ph.D. in the branch of mathematics called game theory, can sling Greek-letter-stuffed equations with the best of them and was just granted tenure by the math department at ...

The ranking of propositions with "Theorem" in the name is in theorem_ranks.txt The ranking of definitions is in definition_ranks.txt The ranking of every proofwiki page containing a 'Proof' or ...