MATEMATIKA
A GPT-5.2 feltörte a legendás Erdős-féle matematikai problémát, Terence Tao megerősítette
Erdős Pál több száz rejtvényt hagyott hátra 1996-os halálakor, amelyek évtizedek óta fejtörést okoznak a matematikusoknak. Ezen a hétvégén a GPT-5.2 Pro megoldotta a 397-es számú Erdős-problémát, amely azt kérdezi, létezik-e végtelen sok megoldás egy bizonyos binomiális együtthatókat tartalmazó egyenletre. Neel Somani instruálta az AI-t a probléma megoldására, a GPT-5.2 legenerálta a bizonyítást, az Aristotle nevű eszköz formalizálta azt a Lean verifikációs nyelven, a Fields-érmes Terence Tao pedig elfogadta az eredményt. Bár Tao megjegyezte, hogy ezek a „legkönnyebben elérhető célpontok”, amelyek standard technikákkal megoldhatók, a GPT-5.2 jelentős fejlődést mutat a versenyszintű matematikában.
- A GPT-5.2 mostanra autonóm módon feltörte a 728-as, 729-es és 397-es számú Erdős-problémákat.
- Az Aristotle rendszer automatikusan javította a bizonyítások hiányosságait, és Lean-verifikált kódot hozott létre.
- A Fields-érmes Terence Tao megerősítette, hogy ezek eredeti bizonyítások, nem pedig a meglévő irodalomból származnak.
- A GPT-5.2 jelenleg 77%-ot ér el a versenyszintű matematikában, de 25%-ot a nyitott végű kutatásokban.
Miért fontos?
A szellemi munkát végzők számára ez azt jelenti, hogy tanúi vagyunk az AI átmenetének a mintafelismeréstől a bizonyítás-generálás felé. Amikor a modellek autonóm módon képesek évtizedes problémákat megoldani (még ha egyszerűbbeket is), várhatóan ez felgyorsul minden olyan területen, amely logikai érvelést igényel: szerződéselemzés, jogszabályi megfelelőség és mérnöki optimalizálás. ---