OpenAI rešil na stotine matematičnih problemov

Slo-Tech – Če smo še pred mesecem dni pisali, da je OpenAI s svojim agentom rešil enega najbolj znanih matematičnih problemov, lahko to pot predmet postavimo v množino. OpenAI je z internim modelom, ki še ni dostopen javnosti, objavil dokaze več sto matematičnih problemov. Matematiki jih še niso ročno preverili, prve analize s formalnim jezikom Lean pa kažejo, da bi dokazi lahko bili pravilni. Več na Slo-Techu.