AI-põhine läbimurre Erdősi probleemi nr 1196 lahendamisel (heise.de)
0xBASE LUUREÜLEVAADE
- Kuus aastakümmet lahendamata olnud matemaatikamõistatuse lahendamine.
- GPT-5.4 Pro võimekus fundamentaaluuringutes.
- Uus paradigma tõestusmaterjalide leidmisel.
"23-aastane kasutaja lahendas GPT-5.4 Pro abil 60 aastat vana Erdősi matemaatikaprobleemi nr 1196. See saavutus on verstapostiks tehisintellekti kasutamisel fundamentaalteadustes, kuna mudel suutis luua uudseid loogilisi seoseid, mis ületavad seni teadaolevaid heuristilisi meetodeid."
#Matemaatiline AI
#Algoritmiline loogika
#Fundamentaaluuringud
kommentaare veel pole.