A Google DeepMind AlphaProof Nexus nevű mesterséges intelligenciája tucatnyi nyitott matematikai problémát oldott meg
A Google DeepMind AlphaProof Nexus nevű mesterséges intelligenciája egy új, a Science folyóiratban megjelent tanulmány szerint önállóan megoldott tucatnyi nyitott matematikai problémát, köztük 353-ból kilenc Erdős-problémát – amelyek közül kettő 56 éve megoldatlan volt –, valamint 44 sejtést az OEIS egészsorozat-adatbázisból. A Gemini 3.1 Pro modellre épülő rendszer a Lean nevű formális nyelven szerkeszti a bizonyításokat, amelyeket a Lean szerkesztésenként ellenőriz; a nehezebb részfeladatokhoz pedig az AlphaProof nevű bizonyítóeszközt hívja segítségül. Az eredményeket közzététel előtt független szakértői bírálatnak (peer review) vetették alá, ami szemben áll az OpenAI azon gyakorlatával, amely miatt Terence Tao vezetésével bojkottot hirdetett az Emberi Matematika Szövetsége.
Folytasd az appban — szavazz és szólj hozzá ➔