AI a lidé společně přepisují matematiku: Důkaz 24D sféry za pouhé dva týdny

V oblasti matematiky a umělé inteligence došlo k významnému průlomu, který představuje zásadní moment pro spolupráci mezi AI a lidmi. Tento pokrok se týká autoformalizace složitých matematických důkazů.

Již 23. února bylo oznámeno úspěšné formalizování důkazu balení 8rozměrných koulí, což samo o sobě bylo považováno za přelomový okamžik. Společnost Math, Inc. však nyní odhalila ještě působivější úspěch: umělá inteligence Gauss dokázala autoformalizovat důkaz balení 24rozměrných koulí od Maryny Viazovské. Tento důkaz, který se skládá z více než 200 000 řádků kódu, byl zpracován za pouhé dva týdny. Tento výkon podtrhuje rostoucí schopnosti umělé inteligence a její potenciál v kombinaci s lidským intelektem posouvat hranice vědeckého poznání.