Zavřít

Hrot24

AI dobývá matematiku: Umělá inteligence na stopě Erdősovým problémům

Před 5 dny
Neel Somani si o víkendu chtěl jen ověřit, jak si ChatGPT poradí s otevřenými matematickými problémy. Vložil jeden z nich do rozhraní a nechal model 15 minut „přemýšlet“. Když se vrátil, čekalo ho překvapení: ChatGPT předložil kompletní důkaz. Somani výsledek formálně ověřil pomocí nástroje Harmonic – a vše sedělo.
 Komentáře
Reklama