发生了什么

由计算机科学教授Amit Sahai领衔、数学教授陶哲轩参与的UCLA六人跨学科团队，获得Laude Institute提供的25万美元种子基金，属于该机构首届Moonshots计划。团队从美国与加拿大47家机构、600多名研究者提交的125份提案中脱颖而出，是仅有的8个入选项目之一。项目名为“Accelerating the Queen of Sciences”，目标是开发能进行严格且创造性数学思考的AI系统，最终成为各定量领域科学家的研究伙伴。团队不训练AI求解已知问题，而是教它像数学家一样行事，并让论断得到自动验证，把“听起来对”变成“确实对”。Sahai表示，最令他期待的是让AI具备在数学中做出惊奇驱动之发现的能力。