Tekoälyn muutosvoima matemaattisessa tutkimuksessa (quantamagazine.org)

• Siirtyminen manuaalisesta todistamisesta tekoälyavusteiseen muodolliseen todentamiseen.
• Parantunut kyky käsitellä valtavia symbolisia tietokantoja.
• Strateginen vaikutus eurooppalaiseen perustutkimukseen.

"Tekoäly muokkaa matemaattista tutkimusta nopeuttamalla teoreemien löytämistä ja muodollista todentamista. Automatisoimalla rutiininomaisia loogisia tehtäviä, tekoälyjärjestelmät antavat matemaatikoille mahdollisuuden keskittyä korkean tason käsitteellisiin kehyksiin, laajentaen laskennallisen tieteen ja teoreettisen fysiikan rajoja."