10月14日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士、浙江大学数学高等研究院院长励建书，中国工程院院士、之江实验室主任王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。
王坚（左）与励建书（右）共同启动“未来数学计划”。之江实验室 供图
据介绍，“未来数学计划”围绕AI与数学双向赋能，将重点开展四个方面的开放创新：一是研发数学基础模型，让模型具备整合各个数学分支知识的能力，同时推动数学推理能力成为科学基础模型的底层能力。二是开展形式化验证研究，让AI生成的数学内容可验证、可累积、可复用，为可靠的数学推理及前沿问题探索提供支撑。三是研究AI背后的数学机理。探索从原理上解释AI模型的学习、泛化、长链条推理等关键问题，以新的理论推动AI前沿发展。四是推动数学基础能力赋能其他学科，探索将数学理论更好地融入跨学科科学研究，为整个基础学科体系提供支撑。
这四个方面的工作构成了一个相互促进的研究体系：一方面用AI拓展数学研究的能力，另一方面从数学的视角追问AI的能力边界与理论根基，并推动科学研究从源头和底层提升解决问题的能力。
今年5月，谷歌DeepMind发布AlphaProof Nexus框架，解决了9个此前未解的厄多斯问题，同时攻克了44个开放数学猜想。近日，OpenAI在GitHub上一次性公开722篇由内部AI模型生成的数学手稿，涉及数论、代数几何、理论计算机科学等多个前沿领域，引发AI冲击数学研究的热议。
“AI可能帮助数学家一起发展出新的数学。”在励建书看来，面对AI对数学研究的影响，不同的人可能有不同的看法。对于个体而言，如果花了十年时间研究的数学问题今天被人工智能解决了，有失落感很正常。“但当我们看到整个数学的未来，我不但不会有失落感，反而会非常振奋。我们将迎来无比激动人心的时代。”
王坚谈到，人工智能与数学的深度结合不仅可能改变数学研究，也会把人工智能带入新的阶段。在他看来，现有模型从代码中获得的推理能力仍相当有限；当AI能从数学中学到更深层次的推理能力，不仅对人工智能自身发展有巨大的推动作用，对其他科学领域的影响也将进一步扩大。
“人工智能会变得像数学那样基础。”王坚说，这里的“基础”，是指人工智能有望像数学一样，为不同学科提供广泛支撑。“人工智能跟数学可以共同推动科学往前走，我觉得它的意义远远超过一般功能上的意义。”
励建书介绍，浙江大学数学高等研究院与之江实验室的实质性合作已经开始。面对全新的时代，“未来数学计划”将建立一个完全开放的创新合作机制，希望专注于AI创新的科研机构、专业的数学研究机构及团队、富有创新活力和实践能力的民营企业以及对数学和人工智能有热爱的个人都能够参与到计划中来，建立“AI+数学”创新共同体，探索数学研究与AI深度融合发展的新路径，推动基础研究与科学前沿发展。
“我们非常期待，即将到来的那个光辉灿烂的数学新世界。”励建书说。
科技日报北京12月18日电 （记者张佳欣）美国威斯康星大学麦迪逊分校工程师使用超音速冷喷涂技术，生产出一种新的核聚变“ 据《自然》消息，与不到10年前相比，每年发表60篇以上论文的研究人员数量增加了四倍。11月24日发表在bioRxiv上的一篇预印本 ·“这项研究似乎说明，长期生活在食品不安全的状况中所带来的危害是没那么容易逆转的。研究也表明，对于那些因 据微信公众号“厦门大学管理学院”发布的讣告，中共党员、厦门大学退休干部，管理学院原院长沈艺峰教授于 2024年1月2日上午 2023年12月28日，陕西省审计厅在官网发布《2023年第9号审计结果公告》，其中西安工业大学2020年度预算执行及其他财务收支 据“浙江大学”微信公众号1月2日消息，加利福尼亚大学伯克利分校数学系正教授孙崧日前加盟浙江大学数学高等 。本文链接：励建书、王坚，共同发起“未来数学计划”http://www.sushuapos.com/show-11-38280-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 我国著名骨外科学专家董天华逝世
下一篇： 这个打破常识的发现因何而来