Chińscy matematycy tworzą sojusz na rzecz AI. Chcą skupić ponad tysiąc badaczy
Laureat Medalu Fieldsa Shing-Tung Yau oraz grupa chińskich naukowców ogłosili w Pekinie utworzenie sojuszu koordynującego wykorzystanie sztucznej inteligencji w badaniach matematycznych. Inicjatywa łączy osiem instytucji naukowych i edukacyjnych, a jej celem jest zbudowanie sieci zrzeszającej ponad tysiąc badaczy.
Yau zaznaczył przy tym, że Chiny pozostają w tym obszarze w tyle za Stanami Zjednoczonymi. Wśród głównych zadań nowo powołanego sojuszu znalazło się tworzenie wyspecjalizowanych modeli matematycznych, rozwój metod maszynowej weryfikacji dowodów oraz budowa systemów, które zapewniają przejrzysty, możliwy do prześledzenia tok rozumowania AI.
Dążenie do automatyzacji badań matematycznych wywołuje jednak szeroką dyskusję w środowisku akademickim. Grupa 25 laureatów Medalu Fieldsa wyraziła obawy, że dowody generowane przez algorytmy mogą osłabić głębokie rozumienie problemów matematycznych i prowadzić do nadmiernego uzależnienia od narzędzi obliczeniowych. Część badaczy postuluje nawet bojkot prac opartych wyłącznie na maszynowych dowodach.
Nierozstrzygnięta pozostaje także fundamentalna kwestia dotycząca roli algorytmów w nauce: czy systemy AI są w stanie formułować nowe matematyczne idee, czy ograniczają się jedynie do sprawnego łączenia znanych dotąd metod.
