Tajné setkání v Berkeley: Když se matematici rozhodli bojovat
V květnu 2025 se v kalifornském Berkeley uskutečnilo jedno z nejzajímavějších a nejkontroverznějších setkání v historii moderní matematiky. Přední světoví matematici se sešli za přísně utajených podmínek s jediným cílem: vytvořit matematické problémy tak složité a rafinované, že by dokázaly odhalit limity nejvyspělejších systémů umělé inteligence. Toto mimořádné shromáždění odráží rostoucí napětí a úzkost v matematické komunitě, jak se systémy umělé inteligence, zejména velké jazykové modely (LLMs), stávají stále zdatnějšími v řešení sofistikovaných matematických problémů.
Účastníci tohoto tajného setkání používali šifrované komunikační kanály, konkrétně aplikaci Signal, aby zajistili, že jejich práce nebude zachycena a předčasně využita k dalšímu trénování AI modelů. Tato bezpečnostní opatření ukazují, jak vážně matematici vnímají hrozbu, že by jejich vlastní úsilí mohlo být obráceno proti nim v tomto neobvyklém závodu mezi lidskou kreativitou a strojovou inteligencí.
Motivace za uzavřenými dveřmi
Hlavní motivací matematiků bylo vytvořit benchmarkové problémy, které by mohly testovat a potenciálně předčit nejpokročilejší AI systémy v matematickém výzkumu. Tito vědci chtěli navrhnout matematické výzvy speciálně navržené tak, aby odhalily současné limity umělé inteligence, zejména těch založených na jazykových modelech, a posoudili, jak blízko se AI dostala k opravdovému matematickému porozumění a kreativitě.
Setkání také odráželo širší trend v akademickém světě: přední matematici jsou nyní najímání jako konzultanti velkými AI společnostmi, aby pomohli zlepšit jejich matematické schopnosti. Tento paradox vytváří zajímavou situaci, kdy stejní lidé, kteří se snaží předčit AI, současně pomáhají této technologii se zdokonalovat.
Dramatická změna v matematických schopnostech AI
Toto setkání je zásadní pro pochopení jeho významu. Ještě v roce 2023 byli matematici skeptičtí ohledně schopnosti LLMs provádět vysoce úrovňové matematické uvažování. Jazykové modely jako ChatGPT často produkovaly vágní nebo zcela nesprávné důkazy klasických teorémů. Jejich pokusy o matematické řešení byly často povrchní a postrádaly hloubku a důkladnost, kterou matematici vyžadují.
Avšak do roku 2025 nová generace AI nástrojů, včetně systémů jako DeepSeek, demonstrovala dramatická zlepšení v matematických schopnostech. Tyto pokročilé systémy začaly produkovat koherentní a dobře zdůvodněné důkazy hlavních matematických výsledků. Tato rychlá evoluce šokovala matematickou komunitu a vedla právě k organizaci tajného setkání v Berkeley.
Výsledky experimentu: Když AI předčila očekávání
Výsledky tajného setkání v Berkeley se ukázaly jako překvapivé a pro mnohé matematiky i znepokojivé. Zatímco většina testovaných AI systémů dokázala vyřešit méně než 2 % speciálně navržených problémů, nový model o4-mini od OpenAI, který se specializuje na matematické uvažování, dokázal vyřešit většinu ručně vytvořených složitých úloh - často rychleji než kterýkoli z přítomných lidských účastníků. Matematici se tak paradoxně ocitli v situaci, kdy se jim nepodařilo vytvořit soubor problémů, které by AI nedokázala vyřešit, což jasně ukázalo, jak sofistikované a schopné se nejnovější AI systémy staly. Třicet předních světových matematiků, kteří se na dvoudenním setkání 17. a 18. května 2025 pokoušeli "přechytračit" umělou inteligenci pomocí 300 nepublikovaných a náročných matematických problémů, nakonec zůstalo ohromeno schopnostmi AI, která ukázaly uvažovací dovednosti velmi podobné těm lidským, a v některých případech je dokonce předčila.
Přetrvávající lidská výhoda
Navzdory těmto pokrokům zůstává mezi mnoha matematiky silné přesvědčení, že zatímco AI vyniká v manipulaci se symboly a řešení určitých strukturovaných problémů, stále má potíže s opravdovým vhledem, kreativitou a hlubším prostorovým či geometrickým uvažováním. Článek ve Scientific American "Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI" informuje o této události a širších důsledcích pro matematický výzkum a budoucí vzájemné působení mezi lidskými matematiky a AI systémy. Jak uvádí článek: "Matematici jsou najímáni ke zlepšování hlavních AI služeb. Jsou povinni používat end-to-end šifrování (Signal) pro komunikaci, aby jejich práce nebyla zachycena a využita pro trénink LLM předtím, než přijde správný čas."
