Până în 2027 nu vom fi nici pe departe aproape de a fi formalizat doar câteva procente din ceea ce era folosită și arăta matematica înainte de demonstrația lui Wiles a ultimului teoremă a lui Fermat De asemenea, nu vom avea AI-uri care să facă cercetare matematică nouă și reală până în 2035 (majoritatea erdo-urilor și seturilor de probleme din punctul meu de vedere nu sunt deloc asemănătoare) fără întregul scop și dificultatea (adică să descoperi ce contează cu adevărat și să fii cu adevărat creativ) – asta va accelera doar părțile care abia le interesează oamenilor (partea formală). Cercetarea în matematică este la fel de mult despre identificarea întrebărilor corecte, ce este interesant versus trivial și, poate cel mai important, înțelegerea reală a motivului pentru care un rezultat contează (!!) decât orice altceva. Fără să menționăm că nu toate domeniile matematicii au aceleași "accesibilități" computaționale Suntem încă foarte departe (dar suntem mai aproape!) de cercetare, mai ales de cercetarea matematică, fiind "conduși" de AI, iar oricine îți spune altceva fie se referă la această "definiție incredibil de plictisitoare a cercetării", fie minte, fie este un idiot sau toate trei Cred că ideea că jumătate din noile rezultate matematice generate de AI până în 2027 este hilară, cu excepția cazului în care suntem cumva suficient de afectați mental încât să definim un rezultat matematic ca un șir formal de simboluri și deducții logice bazate pe niște reguli simple. Ca să fiu clar, ideea mea nu este că "autofornalizarea" matematicii nu este validă, ci este foarte valoroasă din multe motive – mai ales pentru că oamenii fac matematică mai bine sau își folosesc timpul mai bine, dar cu siguranță nu are valoare în sine și, prin urmare, nu "automatizează cercetarea matematică". Ideea mea nu este nici că AI nu va putea niciodată să facă cercetare matematică reală: cred că poate, dar cu siguranță nu va ieși din tehnologia actuală 2020-2025 peste doi ani

Oamenii adevărați de matematică pot să se ridice și să nu fie de acord, eu nu sunt un adevărat tip de matematică, dar mă îndoiesc că un goblin pur de calculatoare sau un goblin pur de matematică ar putea să nu fie de acord pentru că pur și simplu nu știu suficient despre niciuna dintre părți

ca să fiu clar, cred că suntem în prezent în epoca în care AI poate oferi dovezi noi când este asociată cu oamenii, iar autoformalizarea va continua să crească, iar GDM probabil va primi în curând Navier-Stokes etc Ideea mea nu este că nu este utilă, ci că partea fundamentală cea mai dificilă este și va rămâne condusă de oameni până când vor exista progrese semnificative în cercetarea AI (de la mania autoregresivă doar cu decodorii pe care o avem și pe care o vom avea ani de acum înainte).

@nasqret mi-am restrâns în mod specific și perspectiva la "stack tehnologic actual", adică transformatoare auto-regresive doar cu decodor + 10.000 de lucruri lipite sau fixate cu șuruburi, iar din câte știu nu există nimic cu adevărat care să fie transformat în comoditate până în 2027 (sau 2030) pentru a face asta posibil