Az OpenAI szerint a vállalat egyik új érvelési modellje olyan eredeti matematikai bizonyítást alkotott, amely cáfol egy híres, régóta megoldatlan geometriai sejtést. A problémát még 1946-ban vetette fel Erdős Pál, és közel nyolc évtizeden át úgy vélték a matematikusok, hogy a legjobb megoldások nagyjából négyzetrács-szerű szerkezetekre épülnek. A vállalat állítása szerint az AI ezzel szemben egy teljesen új konstrukciócsaládot talált, amely hatékonyabbnak bizonyult, így megdöntötte a korábbi feltételezéseket.
...