Fields Medal winner launches a consortium of research laboratories dedicated to specialised models, the generation of conjectures and the formalisation of proofs, believing that China is lagging behind the United States.
Leading Chinese mathematicians launched in Beijing an alliance of laboratories dedicated to the mathematical sciences and artificial intelligence, under the leadership of Shing-Tung Yau, winner of the Fields Medal and director of the mathematical science centre named after him at Tsinghua University. The network brings together eight institutions and aims to mobilise more than a thousand scientists.
Three axes of work
Members will develop specialized mathematical AI models, use technology to formulate conjectures and formalize demonstrations, and seek to design systems with easier reasoning. Yau acknowledges that a year ago he did not take the capabilities of AI so seriously, but that in six to twelve months he saw her tackle difficult problems for mathematicians; It compares the phenomenon to a tsunami.
According to him, Chinese models serve the general public well but remain clearly in retreat from American systems for scientific research, and the country's efforts remain dispersed when American companies recruit thousands of researchers. The announcement comes in full debate on the reliability of the mathematical results produced by IA, after massive publication and then partial correction of manuscripts by OpenAI.
Read the full article on the original source
Go to the source →