Új matematikai sejtéseket oldott meg az OpenAI mesterséges intelligenciája
Az AI 2026. október 18-án generált bizonyítást a helyi simítási sejtésre, amelyet a következő napon Lean formálisan rögzítettek – ez az első teljes dimenzióra kiterjedő bizonyítás.
A modell által előállított bizonyítás a helyi simítási sejtés minden dimenzióra kiterjedő változatát tartalmazza, ezáltal egyszerre oldja meg a Kakeya- és a Stein-korlátozási sejtéseket — írja az OpenAI Blog.
Az Exponential Time Hypothesis cáfolata
Az AI 2026. október 16-án egy természetes nyelvű leírást készített, amely szerint az Exponential Time Hypothesis hamis, majd a következő napon Leanben formálisan rögzítették — a szakértők, köztük Russell Impagliazzo (UC San Diego) és Ryan Williams (MIT), úgy értékelik, hogy a bizonyítás még nem szakmailag lektorált.
Új eredmény a kvantumtérelméletben
A fizikai rész egy új, AI-által generált eredményt mutat be a kvantumtérelmélet (QFT) területén, amelyet a kutatók a nyilvános GitHub-tárban tesztelhetnek — a részletek még ellenőrzés alatt állnak.
Közösségi ellenőrzés és nyílt adat
Az OpenAI a nyers kutatási adatokat nyilvánosan közzétette, és külső szakértőket kért fel, hogy „shepherd” szerepben szervezzék a közösségi vizsgálatot — a matematikai eredmény AI-outputját már október 6-án közzétették.
Következő lépések
A Lean formálisítás 2026. október 19-én került közzétételre a GitHubon, és az UC San Diego-i és MIT-i kutatók szervezik a közösségi felülvizsgálatot.