{"id":3687,"date":"2026-04-13T04:20:10","date_gmt":"2026-04-13T04:20:10","guid":{"rendered":"https:\/\/www.europesays.com\/ai\/3687\/"},"modified":"2026-04-13T04:20:10","modified_gmt":"2026-04-13T04:20:10","slug":"chinese-ai-solves-decade-old-maths-problem-in-hours-with-no-human-intervention","status":"publish","type":"post","link":"https:\/\/www.europesays.com\/ai\/3687\/","title":{"rendered":"Chinese AI solves decade-old maths problem in hours, with no human intervention"},"content":{"rendered":"<p>A Chinese <a target=\"_self\" class=\"e1yy41x40 ef9u0v01 css-1ankfgb ecgc78b0\" href=\"https:\/\/www.scmp.com\/topics\/artificial-intelligence?module=inline&amp;pgtype=article\" title=\"\" data-qa=\"BaseLink-renderAnchor-StyledAnchor\" rel=\"nofollow noopener\">artificial intelligence<\/a> framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed it.The dual-agent framework solved the problem posed in 2014 by former University of Iowa professor Dan Anderson \u2013 who died in 2022 at the age of 73 \u2013 the <a target=\"_self\" class=\"e1yy41x40 ef9u0v01 css-1ankfgb ecgc78b0\" href=\"https:\/\/www.scmp.com\/news\/china\/science?module=inline&amp;pgtype=article\" title=\"\" data-qa=\"BaseLink-renderAnchor-StyledAnchor\" rel=\"nofollow noopener\">researchers<\/a> said in a preprint paper published on April 4.<\/p>\n<p datatype=\"p\" data-qa=\"Component-Component\" class=\"e8zc9q40 css-1c6uqr6 ec74h0k1\">By synthesising decades of mathematical literature, the Chinese team\u2019s AI framework bridged the gap between natural language reasoning and formal machine verification to resolve Anderson\u2019s conjecture and verify its own findings, they said.<\/p>\n<p datatype=\"p\" data-qa=\"Component-Component\" class=\"e8zc9q40 css-1c6uqr6 ec74h0k1\">\u201cUsing this framework, we successfully solved an open problem in commutative algebra and automatically formalised the proof with essentially no human intervention,\u201d the researchers wrote in the paper, published in the open-access online research repository arXiv.<\/p>\n<p datatype=\"p\" data-qa=\"Component-Component\" class=\"e8zc9q40 css-1c6uqr6 ec74h0k1\">The team\u2019s AI framework was able to perform mathematical tasks faster than human mathematicians, including independently doing work that would typically require collaboration between experts in different fields.<\/p>\n<p><img decoding=\"async\" data-qa=\"BaseImage-handleRenderImage-StyledImage\" class=\"e1o401188 css-16lwkd e445x7d0\" loading=\"lazy\" src=\"https:\/\/www.europesays.com\/ai\/wp-content\/uploads\/2026\/04\/maxresdefault.jpg\"\/><\/p>\n<p data-qa=\"SCMPYoutubeVideoPreview-PreviewTitle\" class=\"css-zasw6y e1o401182\">China\u2019s latest tech craze is chasing \u2018lobsters\u2019 with AI agent OpenClaw<\/p>\n<p>China\u2019s latest tech craze is chasing \u2018lobsters\u2019 with AI agent OpenClaw<\/p>\n<p datatype=\"p\" data-qa=\"Component-Component\" class=\"e8zc9q40 css-1c6uqr6 ec74h0k1\">\u201cThis work provides a concrete example of how mathematical research can be substantially automated using AI,\u201d according to the paper, which has not yet been peer reviewed.<\/p>\n","protected":false},"excerpt":{"rendered":"A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by&hellip;\n","protected":false},"author":2,"featured_media":3688,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[24,3569,25,3573,3563,3566,3568,3562,3567,132,3564,3570,2225,3565,3571,3572],"class_list":{"0":"post-3687","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-ai","8":"tag-ai","9":"tag-archon","10":"tag-artificial-intelligence","11":"tag-arxiv","12":"tag-beijing-international-centre-for-mathematical-research","13":"tag-commutative-algebra","14":"tag-dan-anderson","15":"tag-dong-bin","16":"tag-gemini-deep-think","17":"tag-google","18":"tag-iquest-research","19":"tag-lean","20":"tag-llms","21":"tag-mathlib","22":"tag-peking-university","23":"tag-rethlas"},"_links":{"self":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/3687","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/comments?post=3687"}],"version-history":[{"count":0,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/posts\/3687\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media\/3688"}],"wp:attachment":[{"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/media?parent=3687"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/categories?post=3687"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.europesays.com\/ai\/wp-json\/wp\/v2\/tags?post=3687"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}