Puhumme usein suurista harppauksista matematiikan tekoälyssä, mutta mielestäni pienet askeleet ovat yhtä vaikuttavia. Matematiikan tulevaisuus on nyt. Työskentelin tietyn tehtävän parissa: löytää tapausvapaa todiste paikallisen Néron-funktion korjauksen edustavuudesta käyttämällä yhdistelmää kertokokoukseen liittyviä korjaustermejä. Se on äärimmäisen tylsä, tapauskohtainen ja melko vastenmielinen todiste. Joten annoin panoksen paperistani ja kysyin GPT Prolta, voisiko se ehdottaa tapausvapaata todistetta. Noin 15 minuutin kuluttua sain kauniin, käsitteellisen selityksen, joka vetosi rappeutuneen kuidun kaksoiskaavion täyteen tehoon sekä hämmästyttävän ehdotuksen, että hieman normalisoitu versio paikallisesta virheenkorjauksesta on itse asiassa energiafunktionaalinen. Olin järkyttynyt. En ollut koskaan odottanut näin syvällistä näkemystä. Jälkikäteen voin nyt nähdä, mitä olin jäänyt paitsi. Mutta kaipasin sitä - ja malli opasti minut aina todisteeseen asti. Tämä uusi todiste on paljon tyylikkäämpi kuin edellinen. Minulla oli vain epämääräinen näkemys, arvaus siitä, että tällainen lähestymistapa voisi toimia, mutta mallin yhdistelmä syvää kirjallisuustietoisuutta ja sen puuhakustrategioiden kombinatorista voimaa johti minut suoraan todisteen käsitteelliseen ytimeen. Odotan innolla, mitä muutkin mallit voivat tarjota.