Podjetje OpenAI je nedavno objavilo več sto novih matematičnih rezultatov, ki jih je ustvaril njegov še neobjavljeni model umetne inteligence. Gre za rezultate na področju matematike in teoretičnega računalništva, med njimi tudi za pomembne korake pri nekaterih dolgo odprtih matematičnih problemih. Obseg dosežkov navdušuje, hkrati pa odpira vprašanja o preverjanju dokazov, razumevanju matematičnih rešitev in prihodnosti raziskovalnega dela.
OpenAI je 6. oktobra objavil zbirko 372 skupin matematičnih rezultatov, ki jih spremlja več kot 700 rokopisov. Po navedbah podjetja so nastali s pomočjo novega internega modela, ki ni javno dostopen. Med njimi so rezultati s področij teorije števil, geometrije in matematične fizike, pa tudi napredek pri nekaterih zahtevnih odprtih problemih. Del dokazov so preverili s programskim orodjem Lean, ki omogoča preverjanje…
