AI a matematika: Nová éra dôkazov?
AI prekvapila svet matematikou! Modely Astra (OpenAI) a Fable (Anthropic) riešia zložité problémy za zlomkovú cenu, menia overovanie dôkazov a vyvolávajú otázky o budúcnosti matematiky a vzdelávania.
Nedávno sa objavila správa, ktorá otriasla svetom matematiky. OpenAI predstavil model Astra, ktorý údajne vyriešil desať matematických problémov za približne 2000 dolárov! To je suma, ktorú by tradičný akademický výskum určite prekročil. A to nie je všetko – konkurenčná spoločnosť Anthropic tvrdí, že ich model Fable dosiahol podobné výsledky. Táto situácia vyvoláva zásadnú otázku: Je budúcnosť matematiky ohrozená nástupom umelej inteligencie? V tomto článku sa pozrieme na to, čo sa vlastne stalo, aké sú dôsledky a ako by táto revolúcia mohla zmeniť spôsob, akým pristupujeme k vede o číslach.
Astra: Prekvapivý prístup k riešeniu matematických problémov
OpenAI predstavil model Astra, ktorý podľa nich dokázal vyriešiť desať významných matematických úloh. Medzi nimi bolo aj vyriešenie otázky týkajúcej sa Sophieho skupín a pokrok v domnienke z roku 1964. Najzaujímavejšie na tom všetkom je, že to všetko stálo len približne 2000 dolárov za tokeny – čo je extrémne nízka cena v porovnaní s tradičným akademickým výskumom.
