🤖 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ý ze zbývajících Millennium Prize Problems tahle várka kompletně nevyřešila. Objevuje se navíc otázka priority a „opisování“. AI modely jsou trénované na obrovském množství existující matematiky a u nových výsledků proto musí vědci rozlišit skutečně nový důkaz od kombinace či znovuobjevení starších lidských myšlenek. AI tak možná matematiku dramaticky urychlí – zároveň ale vyrábí nový problém: kdo bude stovky nových důkazů kontrolovat a komu vlastně připsat zásluhy? Vědátor vznikl jako spinoff olomouckého spolku studentů a popularizátorů vědy UP Crowd. Naším cílem je popularizovat vědu a kritické myšlení primárně na sociálních sítích. …což v praxi znamená, že na to nemáme moc prachy, málokdo nás podporuje a děláme na to na koleni, jak se jen dá – na našem YouTube kanálu přesto týden co týden najdete novinky ze světa vědy, krátká osvětová videa i delší rozhovory a tématické videa! Váš Vědátor