Subota, 20 lipnja, 2026
21.7 C
London

OpenAI objavljuje novi matematički dokaz

OpenAI tvrdi da je njegov novi model razmišljanja proizveo originalni matematički dokaz koji pobija poznatu neriješenu konjekturu u geometriji, koju je prvi postavio Paul Erdős 1946. godine.

Ako vam ovo zvuči poznato, to je zato što ovo nije prvi put da OpenAI iznosi takvu hrabru tvrdnju. Prije sedam mjeseci, bivši VP OpenAI-a Kevin Weil objavio je na X-u: “GPT-5 je pronašao rješenja za 10 (!) ranije neriješenih Erdősovih problema i napredovao na još 11.”

Ispostavilo se da GPT-5 zapravo nije riješio te probleme; samo je pronašao rješenja koja su već postojala u literaturi.

Ovo je izazvalo podsmijeh rivala poput Yanna LeCuna i CEO-a Google DeepMinda Demisa Hassabisa, a Weil je brzo uklonio svoju preuranjenu objavu. Danas, čini se da OpenAI nije ponovio istu grešku. Uz najavu, tvrtka je objavila prateće komentare u potporu pobijanju od strane matematičara poput Noge Alona, Melanie Wood i Thomasa Blooma, koji održava web stranicu Erdősovih problema i koji je ranije nazvao Weilovu objavu “dramatičnom dezinformacijom.”

“Gotovo 80 godina, matematičari su vjerovali da najbolja moguća rješenja izgledaju otprilike kao kvadratne mreže,” objavio je OpenAI na X-u. “Model OpenAI-a sada je pobio to uvjerenje, otkrivajući potpuno novu obitelj konstrukcija koje bolje funkcioniraju.”

Tvrtka je izjavila da ovo označava “prvi put da je AI autonomno riješio istaknuti otvoreni problem centralan za područje matematike.” Dokaz, prema OpenAI-u, došao je iz novog općeg modela razmišljanja, a ne iz sustava koji je posebno dizajniran za rješavanje matematičkih problema ili čak ovog problema posebno.

OpenAI tvrdi da je ovo značajno jer znači da su AI sustavi sada sposobniji održavati duge, teške lance razmišljanja i povezivati ideje iz različitih područja na načine koje istraživači možda ranije nisu istraživali. To ima implikacije za biologiju, fiziku, inženjerstvo i medicinu.

“AI nam pomaže da u potpunosti istražimo katedralu matematike koju smo izgradili tijekom stoljeća,” izjavio je Bloom. “Koja druga nevidljiva čuda čekaju na svoj trenutak?”

Hot this week

Anthropic povlači modele zbog sigurnosnih briga

Kako se prošli tjedan bližio kraju, američka vlada prisilila...

Sjedinjene Države zabranile najnovije modele Anthropic

Kako se prošli tjedan bližio kraju, vlada Sjedinjenih Država...

Reliance predstavlja AI usluge za korisnike u Indiji

Dok Indija traži domaćeg konkurenta u globalnoj utrci umjetne...

Allbirds postaje Smartbird: novi smjer prema AI

Kada je Allbirds u travnju prešao na umjetnu inteligenciju,...

Subquadratic donosi inovacije u LLM tehnologiji

AI startup Subquadratic iz Miamija prošlog je mjeseca izašao...

Topics

Anthropic povlači modele zbog sigurnosnih briga

Kako se prošli tjedan bližio kraju, američka vlada prisilila...

Sjedinjene Države zabranile najnovije modele Anthropic

Kako se prošli tjedan bližio kraju, vlada Sjedinjenih Država...

Reliance predstavlja AI usluge za korisnike u Indiji

Dok Indija traži domaćeg konkurenta u globalnoj utrci umjetne...

Allbirds postaje Smartbird: novi smjer prema AI

Kada je Allbirds u travnju prešao na umjetnu inteligenciju,...

Subquadratic donosi inovacije u LLM tehnologiji

AI startup Subquadratic iz Miamija prošlog je mjeseca izašao...

ASML i zabrinutost zbog Kine

Prema Bloombergu, američki ministar trgovine Howard Lutnick je u...

DeductiveAI prodana Elasticu za 85 milijuna dolara

DeductiveAI, startup koji koristi AI za otkrivanje i rješavanje...

Baseten blizu završetka financiranja od 1,5 milijardi dolara

Tvrtka za AI inferenciju Baseten blizu je završetka impresivnog...
spot_img

Related Articles

Popular Categories

spot_imgspot_img