🤖 AI otřásá matematikou – ne ale vždy pozitivně | Vědátornews w/ @takschvalne3761
OpenAI zveřejnila 722 matematických rukopisů uspořádaných do 372 rodin výsledků, které vytvořil neveřejný interní model při řešení zhruba čtyř tisíc otevřených problémů. Výsledky zasahují do algebry, geometrie, teorie čísel, pravděpodobnosti, logiky i teoretické informatiky. Neznamená to ale 722 samostatně vyřešených slavných problémů – jeden výsledek může mít několik souvisejících rukopisů. Právě měřítko a rychlost vyvolaly mezi matematiky šok. Část důkazů má formální počítačovou verifikaci, jiné zatím čekají na důkladnou lidskou kontrolu a jejich novost je v některých případech sporná. Žádný
