OpenAI tvrdi da je rešio jedan od najvećih matematičkih problema: 10.000 AI agenata došlo do rešenja za 88 sati
Blic pre 2 sata
OpenAI je objavio da je njihov AI model pronašao rešenje za problem postojanja i glatkoće rešenja Navije-Stoksovih jednačina, jednog od milenijumskih problema.
Za rešenje su bila potrebna 10.000 AI agenata i 88 sati rada, a formalizacija i verifikacija dokaza u sistemu Lean trajala je još 17 sati. Kompanija OpenAI objavila je da je njen novi, još uvek javno nedostupan model veštačke inteligencije pronašao rešenje za jedan od najpoznatijih nerešenih problema u matematici – problem postojanja i glatkoće rešenja Navije-Stoksovih jednačina. Ukoliko dokaz prođe nezavisnu proveru matematičara, bio bi to tek drugi rešeni problem
Dodaj Naslovi.net kao Google izvor
