Peer-reviewed matematikai folyóiratok fogadtak el AI által generált Lean bizonyításokat
Az AxiomProver AI gép által ellenőrzött Lean bizonyításokat generált nyolc arXiv matematikai cikkhez, amelyek közül ötöt már elfogadtak peer-reviewed folyóiratokban.
---