Souhrn
Elon Musk podal žalobu proti OpenAI, která má zabránit jejich plnému přechodu na for-profit strukturu a narušit partnerství s Microsoftem. Článek rovněž popisuje průlomy v AI modelech Grok-4.2 od xAI a GPT-5.2 od OpenAI, které řeší dříve nevyřešené matematické problémy. Tyto události probíhají v kontextu závodu o superinteligenci, kde právní spory ovlivňují financování a vývoj.
Klíčové body
- Muskova žaloba cílí na blokování for-profit konverze OpenAI a jejich vazeb s Microsoftem kvůli údajnému porušení původních dohod.
- Proces objevení důkazů odhalí emaile, záměry a výslechy, což vytvoří investiční nejistotu i při případném vítězství OpenAI v roce 2026.
- Modely Grok-4.2 (xAI) a GPT-5.2 (OpenAI) řeší problémy jako eBellmanovy funkce a úrovně Erdős/Airdose z maďarského seznamu 1000 nevyřešených úloh.
- Matematik Terence Tao potvrdil originalitu nových důkazů, což umožňuje interaktivní práci s AI v matematice.
- Článek pochází od Briana Wanga, zakladatele blogu Nextbigfuture.com, který se zaměřuje na disruptivní technologie včetně AI a robotiky.
Podrobnosti
Elon Musk, zakladatel xAI a spoluzakladatel původního OpenAI, žaluje společnost kvůli údajnému porušení dohod z roku 2015, kdy byl OpenAI založen jako nezisková organizace s cílem vyvíjet bezpečnou umělou inteligenci ve veřejném zájmu. Podle žaloby OpenAI pod vedením Sama Altmana plánuje plný přechod na for-profit model, což by umožnilo masivní investice, ale podle Muska porušuje původní závazky. Klíčové je partnerství s Microsoftem, který investoval miliardy dolarů do OpenAI a integruje jejich modely jako GPT do Azure cloudu a produktů jako Copilot. Žaloba by mohla tyto vazby oslabit, což by ovlivnilo přístup k výpočetní síle na bázi GPU.
Současně článek zdůrazňuje technické průlomy. xAI, Muskova firma zaměřená na vývoj velkých jazykových modelů (LLM) s důrazem na pravdivost a užitečnost, vydalo Grok-4.2. OpenAI kontruje GPT-5.2. Tyto modely úspěšně řeší dříve nevyřešené matematické problémy, jako eBellmanovy funkce (souvisí s dynamickým programováním a optimalizací) a problémy na úrovni Erdőse (známý maďarský matematik s tisíci otevřenými otázkami) či Airdose z jeho seznamu 1000 zajímavých nevyřešených úloh. Terence Tao,žijící matematik s Fieldsovou medailí, validoval tyto důkazy jako originální, nikoli jen předělané staré řešení. To umožňuje tzv. vibe coding v matematice: uživatelé komunikují s AI v přirozeném jazyce, aby okamžitě upravovali formule v rozsáhlých pracích o 200 stranách, testovali stovek možností a simulovali práci dvaceti výzkumníků. Například AI může generovat hypotézy, ověřovat je numericky a navrhovat nové důkazy, což urychluje výzkum v oblastech jako algebraická geometrie nebo teorie čísel.
Brian Wang, autor, vede blog Nextbigfuture.com (nejnavštěvovanější vědecký blog), zaměřený na AI, vesmírné technologie a nanotechnologie. Je investorem do deep tech startupů a mluvčím na konferencích jako TEDx.
Proč je to důležité
Žaloba Muska představuje riziko pro OpenAI v závodě o AGI (umělou obecné inteligenci), kde financování nad 100 miliard dolarů určuje přístup k datům a výpočetní síle. Nejistota z objevovaných důkazů může způsobit odliv investorů, zpoždění v tréninku GPT-6 a posílení konkurentů jako xAI nebo Anthropic. Průlomy v matematice ukazují, že LLM překonávají hranice znalostí z tréninkových dat, což naznačuje pokrok k superinteligenci – AI schopné autonomního objevování. Pro průmysl to znamená rychlejší vývoj v optimalizaci (např. logistiky přes Bellmanovy funkce) a vědecký výzkum, ale zároveň zvyšuje potřebu bezpečnostních opatření proti chybám v důkazech. Kriticky: originálnost důkazů Taoem potvrzená neznamená plnou důvěryhodnost; AI stále potřebuje lidskou validaci, aby se vyhnula halucinacím. Tento spor tak dramaticky ovlivňuje ekosystém AI, kde Muskova xAI získává konkurenční výhodu.
Zdroj: 📰 Next Big Future
