Chinese mathematicians form a 1,000-strong alliance on AI and mathematics
Led by Fields medallist Shing-Tung Yau at Tsinghua, eight institutions plan specialised maths models, open infrastructure for AI-assisted proof, interpretability work and a journal.
Tsinghua UniversityIdeas & essays