Tieteellisten löytöjen nopeuttaminen

“Ei ole epäilystäkään siitä, että yksikköetäisyysongelman ratkaisu on virstanpylväs tekoälymatematiikassa: jos ihminen olisi kirjoittanut artikkelin ja lähettänyt sen Annals of Mathematicsiin ja minulta olisi pyydetty nopeaa arviota, olisin suositellut hyväksymistä epäröimättä. Yksikään aiempi tekoälyn tuottama todistus ei ole päässyt lähellekään sitä.”

“Mallin CoT on syvästi kiinnostava. On huomionarvoista, että merkittävä enemmistö ajatuksista pyrkii rakentamaan vastaesimerkin laajalti uskotulle ylärajalle sen sijaan, että yrittäisi todistaa sen. Tämä viittaa siihen, että mallilla on jonkinlainen yhdistelmä hyvää intuitiota, halukkuutta kokeilla yhteisön epätodennäköisinä pitämiä lähestymistapoja sekä taipumusta yrittää erilaisia konstruktioita.… Mielestäni tämä artikkeli osoittaa, että nykyiset tekoälymallit ovat enemmän kuin vain ihmismatemaatikkojen apureita – ne kykenevät omaperäisiin nerokkaisiin ideoihin ja pystyvät myös viemään ne onnistuneesti maaliin.”

“Tämä on todella vaikuttava työ, ja hyväksyisin sen epäröimättä mihin tahansa lehteen. Työskentelin itse asiassa lyhyesti tämän ongelman parissa ja yritin tehdä vastaesimerkin, mutta en edistynyt… Se on ehdottomasti pelottava konstruktio hahmottaa läpi, vaikka tietäisi mitä tapahtuu, ja vielä vaikeampi lähteä itse kokeilemaan.”