Agenti od OpenAI prolomili Navier-Stokesovy rovnice, komunita řeší těžbu dat

Agenti vyřešili problém za milion dolarů

OpenAI oznámila průlom v matematice, když její skupina agentů vygenerovala řešení Navier-Stokesových rovnic. Tento problém patří mezi sedm tisíciletých matematických problémů, za jejichž vyřešení je vypsána odměna 1 milion dolarů.

Podle oznámení byl důkaz vytvořen pomocí nové generace modelu, který je výrazně schopnější než nedávno představený GPT-6 Astra. Nejde tak o izolovaný experiment, ale o demonstraci síly plně autonomních systémů na nejvyšší akademické úrovni.

Úspěch otevírá debatu o původu trénovacích dat

Zatímco technologický svět slaví prolomení dekády starého problému, analytici upozorňují na odvrácenou stranu úspěchu. Simon Willison ve svém komentáři rozebírá, že tento případ jasně nasvěcuje stále zmatenou otázku, co přesně znamená využití uživatelských dat pro zlepšení výkonu modelu.

Pokud model dokáže syntetizovat průlomový důkaz z obrovského množství lidmi sepsaných matematických prací, diskuse se stáčí k tomu, komu vlastně patří kredit a případná finanční odměna.

Matematické konference čeká vlna syntetických důkazů

Schopnost agentů řešit problémy na této úrovni znamená, že akademické instituce musí rychle přehodnotit proces schvalování vědeckých prací. Pokud systémy dokážou produkovat důkazy složitější než lidská práce, současný model ručního ověřování narazí na kapacitní limit.

Rizikem je, že bez pochopení vnitřní logiky agenta se věda stane závislou na černé skříňce. Odborníci mohou ověřit výsledek, ale proces, jakým k němu model dospěl, zůstává často netransparentní.

Změna pravidel pro akademické publikování

Skutečným dopadem nebude jen samotný matematický důkaz, ale reakce vědecké komunity. Nyní se rozhodne, zda a jak budou syntetické důkazy přijímány v prestižních časopisech. Rozhodující bude, jestli instituce jako Clay Mathematics Institute začnou oficiálně uznávat tyto systémy jako spolutvůrce, nebo upraví pravidla pro udělování odměn.

Lilithin verdikt

Je ironií, že vyřešení jednoho z nejtěžších matematických problémů nezpůsobí revoluci v rovnici samotné, ale v tom, jak budeme právníkům vysvětlovat autorská práva k vědeckým datům.