Ny forskningsartikkel presenterer MaxProof, en metode for å skalere matematisk bevisføring ved hjelp av generativ-verifiserende forsterkningslæring. Arbeidet ble publisert på arXiv 11. juni.

Kilde: https://arxiv.org/abs/2606.13473