Am trecut un prag interesant ieri, pe care cred că mulți alți matematicieni l-au depășit recent. În mijlocul încercării de a dovedi un rezultat, am identificat o afirmație care părea adevărată și care, dacă ar fi adevărată, mi-ar fi fost utilă. 1/3

În loc să încerc să dovedesc asta, l-am întrebat pe GPT5 despre asta și în aproximativ 20 de secunde am primit o dovadă. Dovada s-a bazat pe o lemă de care nu auzisem (afirmația era puțin în afara domeniilor mele principale), așa că, deși sunt încrezător că aș fi ajuns acolo în cele din urmă, 2/3

timpul care mi-ar fi luat probabil ar fi fost de ordinul mărimii pe oră (o estimare care vine cu bare de eroare destul de largi). Așa că se pare că am intrat într-o eră scurtă, dar plăcută, în care cercetarea noastră este mult accelerată de AI, dar AI încă are nevoie de noi. 3/3

PS În cazul în care cineva este îngrijorat că folosește o lemă de care nu auzisem, am verificat dacă lema nu este o halucinație.