Egy OpenAI mesterséges intelligencia által generált bizonyíték ellenőrzése fordított állapotot talál, és javítást tesz közzé
Két kutató szerint a OpenAI matematikai dokumentumának 6. fejezetében található lemmabizonyítás polaritáshibát tartalmaz: az átlagos siker tesztje, ahol a következő lépéshez nagy feltételes kudarc szükséges. Ellenpéldát és javított bizonyítást adnak, és arra figyelmeztetnek, hogy ez nem a fejezet főtételének igazolása.