Les prin­ci­paux mathé­ma­ti­ciens chi­nois ont uni leurs forces dimanche à Pékin pour lan­cer une alliance visant à inté­grer l'in­tel­li­gence arti­fi­cielle dans la recherche mathématique.

L'Al­liance du Labo­ra­toire Yau pour les Mathé­ma­tiques et l'In­tel­li­gence Arti­fi­cielle est pilo­tée par le lau­réat de la médaille Fields Shing‑Tung Yau, qui a averti que la Chine accu­sait un retard sur les États‑Unis dans l'uti­li­sa­tion de l'IA pour faire pro­gres­ser la science de pointe.

Elle réunira huit éta­blis­se­ments de pre­mier plan et ambi­tionne de créer un réseau de plus de 1 000 scientifiques.

L'al­liance se concen­trera sur le déve­lop­pe­ment de modèles d'IA spé­cia­li­sés pour les mathé­ma­tiques, en uti­li­sant la tech­no­lo­gie pour géné­rer des conjec­tures et for­ma­li­ser des démons­tra­tions, ainsi que sur la concep­tion de sys­tèmes dont le rai­son­ne­ment pour­rait être plus faci­le­ment interprété.

« Il y a un an, je ne pen­sais pas que l'IA était aussi puis­sante », a déclaré Yau, direc­teur du Centre des sciences mathé­ma­tiques Yau à l'Uni­ver­sité Tsinghua.

Il a ajouté qu'au cours des six à douze der­niers mois, il avait vu l'IA s'at­ta­quer à des pro­blèmes que les mathé­ma­ti­ciens avaient eu du mal à résoudre.

« Le déve­lop­pe­ment de l'IA en mathé­ma­tiques est comme un tsu­nami », a‑t‑il déclaré, sou­te­nant que les mathé­ma­ti­ciens chi­nois devaient s'or­ga­ni­ser et s'en­ga­ger avec cette tech­no­lo­gie plu­tôt que de l'éviter.

Cette alliance a été lan­cée dans un contexte de débat crois­sant sur la capa­cité de l'IA à résoudre des pro­blèmes mathé­ma­tiques avancés.

La semaine der­nière, Ope­nAI a publié 722 manus­crits mathé­ma­tiques regrou­pés en 372 familles de résul­tats, reven­di­quant des avan­cées sur des cen­taines de pro­blèmes non résolus.

Mais la société a retiré trois manus­crits le len­de­main après avoir iden­ti­fié une erreur inva­li­dant un argu­ment et affec­tant deux articles connexes, tout en révi­sant 14 autres.

Cer­tains mathé­ma­ti­ciens ont cri­ti­qué la rapi­dité et l'am­pleur de cette publi­ca­tion, fai­sant valoir que les résul­tats mathé­ma­tiques néces­si­taient une véri­fi­ca­tion rigou­reuse, des expli­ca­tions claires et une recon­nais­sance appro­priée des tra­vaux antérieurs.

Les mathé­ma­ti­ciens chi­nois Wang Hong et Deng Yu rem­portent la pres­ti­gieuse médaille Fields

Un autre lau­réat de la médaille Fields, Terence Tao, a demandé que l'uti­li­sa­tion de l'IA soit frei­née compte tenu des pré­oc­cu­pa­tions liées à son impact néga­tif, déclen­chant un débat animé avec d'autres mathé­ma­ti­ciens qui sou­tiennent l'usage de cette technologie.

Mais inter­rogé sur la ques­tion, Yau a déclaré : « Tao est un très bon mathé­ma­ti­cien, mais cela ne signi­fie pas qu'il repré­sente la com­mu­nauté mathé­ma­tique. »

Il a ajouté que ce dif­fé­rend ne devrait pas dis­sua­der les mathé­ma­ti­ciens de tra­vailler avec l'IA, sou­li­gnant au contraire la néces­sité d'une coopé­ra­tion plus étroite entre les mathé­ma­ti­ciens de pre­mier plan et les déve­lop­peurs d'IA.

Il a déclaré que l'écart entre la Chine et les États‑Unis était par­ti­cu­liè­re­ment mar­qué dans la recherche scien­ti­fique de pointe, notam­ment en ce qui concerne les sys­tèmes d'IA capables de faire pro­gres­ser les mathé­ma­tiques et la physique.

(...)