Pinned
1/ Since February, 8 papers across algebraic geometry, representation theory, number theory, combinatorics have been quietly appearing on arXiv.
Proofs by AxiomProver.
5 papers are now accepted at solid peer-reviewed math journals. To our knowledge, a first for the literature.








