{"schema":"postcutoff/event@1","as_of":"2026-10-12T07:22:00+02:00","url":"https://postcutoff.com/e/2026-10-11-yau-math-ai-lab-alliance/","md":"https://postcutoff.com/e/2026-10-11-yau-math-ai-lab-alliance/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-11-yau-math-ai-lab-alliance","date":"2026-10-11","date_precision":"day","short_title":"Shing-Tung Yau launches an alliance of eight Chinese maths institutes to build AI models for mathematical research","deck":null,"takeaway":"On Oct 11, 2026 Fields medallist Shing-Tung Yau launched the Yau Laboratory Alliance for Mathematics and Artificial Intelligence at Tsinghua University.","category":"research","category_label":"Research","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":[{"n":1,"title":"South China Morning Post: Leading Chinese mathematicians unite behind use of AI in research","url":"https://www.scmp.com/news/china/science/article/3370492/leading-chinese-mathematicians-unite-behind-use-ai-research","type":"press","group":"press","domain":"scmp.com"},{"n":2,"title":"Shanghai Daily (City News Service): Yau Mathematics and AI Lab Alliance launched at Tsinghua University","url":"https://www.citynewsservice.cn/articles/shanghaidaily/news/yau-mathematics-and-ai-lab-alliance-launched-at-tsinghua-university-7kr5e38n","type":"press","group":"press","domain":"citynewsservice.cn"},{"n":3,"title":"UA.NEWS summary of the SCMP report","url":"https://ua.news/en/technologies/u-pekini-stvorili-alians-matematikiv-dlia-doslidzhen-shi-south-china-morning-post","type":"press","group":"press","domain":"ua.news"},{"n":4,"title":"Chosun Ilbo: Chinese mathematicians unite to advance AI in math research","url":"https://www.chosun.com/english/industry-en/2026/10/12/SXZ4USL7DRELHGNQHPRB6L7ELQ/","type":"press","group":"press","domain":"chosun.com"}],"official":0,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Tsinghua University"],"title":"Shing-Tung Yau launches an alliance of eight Chinese maths institutes to build AI models for mathematical research","summary":"On Oct 11, 2026 Fields medallist Shing-Tung Yau launched the Yau Laboratory Alliance for Mathematics and Artificial Intelligence at Tsinghua University. It joins eight Chinese mathematical institutes and about 1,000 researchers to build China's own AI models for mathematics. Yau called AI's recent progress in maths a \"tsunami\" and said China trails the US in using AI for advanced research. The launch came five days after OpenAI published 722 AI-written maths manuscripts.","key_facts":["Name: Yau Laboratory Alliance for Mathematics and Artificial Intelligence (SCMP: Yau Mathematical Sciences and Artificial Intelligence Laboratory Alliance); launched Sunday Oct 11, 2026 at Tsinghua University, Beijing, headquartered in Haidian District (Shanghai Daily via City News Service)","Eight institutions named in Shanghai Daily's report: Tsinghua's Qiuzhen College (hosts the first lab) and Yau Mathematical Sciences Center, the Shanghai Institute for Mathematics and Interdisciplinary Sciences, the Beijing Institute of Mathematical Sciences and Applications, the Morningside Center of Mathematics (Chinese Academy of Sciences), the Shing-Tung Yau Center of Southeast University (Nanjing), the Hetao Institute of Mathematics and Interdisciplinary Sciences (Shenzhen) and the Zhizhen School of Interdisciplinary Mathematical Sciences (Chinese University of Hong Kong)","Scale: a research team of about 1,000 mathematicians; maths-AI labs planned in five cities (Beijing, Shanghai, Nanjing, Shenzhen, Hong Kong)","Six priorities: specialised AI models for mathematics, open public infrastructure for AI-assisted maths, AI interpretability and security through mathematics, interdisciplinary work (quantum computing, life sciences), international talent training, and a flagship journal for AI-assisted mathematics","Yau: 'If artificial intelligence is properly harnessed, the scholarship, breakthroughs and impacts it delivers will be epoch-making' (Shanghai Daily)","SCMP (as summarised by UA.NEWS; the SCMP page was not readable by our fetchers): Yau likened AI's progress in maths to a 'tsunami', said Chinese models serve ordinary users well but trail leading US systems in scientific work, and said US AI firms have recruited thousands of scientists while Chinese efforts stay fragmented","Context given by SCMP: OpenAI's Oct 6 release of 722 maths manuscripts (three withdrawn after an error, 14 revised) and Terence Tao's call to slow down"],"key_numbers":[],"tags":["mathematics","china","ai-for-math","institutions","tsinghua","formalization"],"science":null,"body_md":"## What happened\n\nShing-Tung Yau, the Fields medallist who directs Tsinghua's Yau Mathematical Sciences Center, launched an alliance of eight Chinese\nmathematical institutes at Tsinghua on Oct 11, 2026. According to Shanghai Daily, the alliance will set up mathematics-AI labs in five\ncities and has about 1,000 mathematicians. Its first aim is to build AI models specialised for mathematical research. Tsinghua vice\npresident Li Zhihua attended, and Haidian District pledged support.\n\nThe South China Morning Post reported Yau's argument that AI has taken on hard mathematical tasks in the past 6 to 12 months and that\nChina lags the US in applying AI to advanced maths and physics. We could not read the SCMP article directly; its content here comes\nfrom a UA.NEWS summary, so the SCMP quotes are second-hand.\n\n## Why it matters\n\nIt is an organised, national-scale response by Chinese mathematicians to the 2026 wave of AI-produced proofs. The launch was\nframed as a matter of scientific self-reliance (Shanghai Daily).","disputed":[],"related":[{"id":"2026-10-09-tao-math-2-0-caltech-lecture","url":"https://postcutoff.com/e/2026-10-09-tao-math-2-0-caltech-lecture/","date":"2026-10-09","date_precision":"day","short_title":"Terence Tao's Caltech lecture 'Math 2.0'","deck":"AI has ended 'proof scarcity', and blind problem-solving is now 'actively harmful' to mathematics","takeaway":"Tao is the mathematician most often cited on AI and maths, and this is his fullest public statement after OpenAI's release.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":4,"filed":"2026-10-10","updated":"2026-10-10","orgs":["UCLA","Caltech"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":74,"official":13,"filed":"2026-10-07","updated":"2026-10-12","orgs":["OpenAI"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"},{"id":"shing-tung-yau","name":"Shing-Tung Yau","url":"https://postcutoff.com/person/shing-tung-yau/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-12","type":"filed","text":"Created (SCMP, Shanghai Daily, Chosun)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-12","run":null,"sources_read":null,"updated":"2026-10-12","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":164,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":103,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":194,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":133,"in_training_data":false}],"short_url":null}