Mens vestlige matematikere boykotter KI-bevis, bygger Kina en allianse for det

Kina har dannet en allianse for å integrere kunstig intelligens i matematisk forskning, ledet av Fields-medaljevinner Shing-Tung Yau. Denne alliansen, "Yau Laboratory Alliance for Mathematics and Artificial Intelligence", ble etablert i Beijing og inkluderer åtte institusjoner. Målet er å bygge et nettverk med mer enn 1.000 forskere, ifølge rapporter. Yau advarte om at Kina kan falle bak USA.

I motsetning til dette er det en utbredt skepsis i Vesten, hvor 25 Fields-medaljevinnere, inkludert Terence Tao og Peter Scholze, uttrykker bekymring for at KI-genererte bevis kan undergrave matematisk forståelse. Det er også oppfordringer fra deler av fellesskapet om å boikotte disse bevisene, samtidig som andre er sjokkert over mengden av automatiserte innleveringer. Kina ønsker derimot å utvikle spesialiserte modeller og maskinelt verifiserbare bevis.