Közel ezer matematikust fog össze Yau egy kínai AI-modell fejlesztésére
A nyolc intézményből álló szövetség saját matematikai modellt építene, miközben vita zajlik az AI-bizonyítások ellenőrzéséről.
▶ 30 MÁSODPERCBEN
- MI TÖRTÉNT
- Shing-Tung Yau 2026. október 11-én bejelentette egy közel ezer matematikust összefogó szövetség létrehozását, amely saját kínai matematikai AI-modellt fejlesztene.
- MIÉRT FONTOS
- A kezdeményezés a kínai kutatók versenyhátrányát mérsékelné, miközben a matematikusok vitatják az AI-val előállított eredmények ellenőrzésének és közlésének szabályait.
- MI JÖN MOST
- Öt városban további laborokat terveznek, a Journal of AI-Assisted Mathematics pedig várhatóan 2027 elején indul.
Közel ezer matematikust mozgósítana egy önállóan fejlesztett, matematikára szakosított kínai AI-modellhez Shing-Tung Yau. A Fields-érmes, a Tsinghua Egyetem professzoraként dolgozó kutató 2026. október 11-én jelentette be a Yau Matematikai és Mesterségesintelligencia-laboratóriumi Szövetség megalakulását a BigGo Finance beszámolója szerint. A cél nem pusztán a felzárkózás: azt is tisztázni szeretnék, milyen szabályok mellett közölhetők ember és gép közös matematikai eredményei.
Saját modell és új laborhálózat készül
A szövetséget nyolc intézmény alapította, köztük a Tsinghua Qiuzhen College-a, a Shanghai Institute for Mathematics and Interdisciplinary Sciences és a Kínai Tudományos Akadémia Morningside Center of Mathematics intézete. Az első labor a Qiuzhen College-ban működik, a Yau Mathematical Sciences Centerrel közösen. További laborokat terveznek Pekingben, Sanghajban, Nankingban, Sencsenben és Hongkongban; a résztvevők között van a Beijing Yanqi Lake Applied Mathematics Institute, a Southeast University Yau Centerje, a Hetao Institute és a CUHK Zhizhen College-a.
A hat kijelölt feladat között szerepel a saját matematikai nagy modell fejlesztése és a Yau által alapított, szerkesztett Journal of AI-Assisted Mathematics működtetése. A folyóirat várhatóan 2027 elején indul. Yau szerint a kínai modellek még nem világelsők, az OpenAI, a ChatGPT és más élvonalbeli AI-rendszerek kínai használati tilalma pedig hátrányba hozza a helyi kutatókat.
A látványos eredmény még ellenőrzésre szorul
Az avatáson AI-val előállított ellenpéldát mutattak be a degenerált Arnold-sejtéshez, valamint a Calabi-sejtés formális, vagyis géppel ellenőrizhető igazolását AI-ágensekkel és 273 000 kódsorral. A BigGo Finance szerint az OpenAI egyetlen csomagban 722 matematikai kéziratot tett közzé a GitHubon, többek között a kvázi-Riemann-hipotézisről, a Hodge-sejtésről és a π irracionalitási kitevőjéről. Korábban a vállalat azt közölte, hogy 10 000 ágenssel, 88 óra alatt bizonyította a Navier–Stokes-millenniumi problémát; a beszámoló ezek független ellenőrzéséről nem ad információt.
A matematikusok közlési szabályokat sürgetnek
Terence Tao, Deng Yu és további 25 Fields-érmessel közös nyilatkozatban károsnak nevezte, hogy az AI-cégek teljesítménytesztként kezelik a matematikai problémákat; egyúttal bejelentették a Human Mathematics Association megalakulását. Bao Yungang, a Kínai Tudományos Akadémia számítástechnikai intézetének igazgatóhelyettese szerint az AI alkalmazhatóságát döntően az eredmény ellenőrizhetősége határozza meg. Xi Nanhua, a Kínai Matematikai Társaság elnöke technológiai erődemonstrációnak tartja az OpenAI lépéseit, és szerinte a cégeket nem köti az akadémiai etika. He Xuhua, a Nemzetközi Matematikai Unió alelnöke az ember–gép együttműködés eredményeinek publikálás előtti szabályairól vár párbeszédet.
„Ez a kutatók számára a legizgalmasabb, egyben a legveszélyesebb korszak.”
— Shing-Tung Yau
TECH-SZÓTÁR
- Ágens
- Olyan AI-rendszer, amely egy feladat megoldásához több lépést hajt végre.
- Formális ellenőrzés
- Egy matematikai érvelés ellenőrzése géppel feldolgozható logikai szabályok alapján.
- Teljesítményteszt
- Meghatározott feladatsor, amellyel rendszerek képességeit mérik és hasonlítják össze.
» Követett téma: AI · régió: KÍNA · kulcsszó: matematikai modellek