4.
AxiomProver-generated math papers accepted by peer-reviewed journals
Five AI-assisted papers across algebraic geometry, representation theory, number theory, and combinatorics passed peer review in solid math journals
@axiommathai on Backlist
1 appearance on the backlist front page in the last 30 days.