steve hsu(@hsu_steve):Don't Cry - BUILD! 🦾 Leading China’s mathematicians joined forces in Beijing on Sunday to launch an alliance aimed at integrating artificial intelligence into mathematical research. It will bring together eight leading institutions and aims to create a network of more than 1,000 scientists. The alliance will focus on developing specialised AI models for mathematics, using the technology to generate conjectures and formalise proofs, and building systems whose reasoning could be more easily interpreted.

2026.10.12 01:40

Don't Cry - BUILD! 🦾 Leading China’s mathematicians joined forces in Beijing on Sunday to launch an alliance aimed at integrating artificial intelligence into mathematical research. It will bring together eight leading institutions and aims to create a network of more than 1,000 scientists. The alliance will focus on developing specialised AI models for mathematics, using the technology to generate conjectures and formalise proofs, and building systems whose reasoning could be more easily interpreted.