国内首次实现AI自主解决数学开放问题
6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。（科技日报）文章来源于网络，若侵犯了您的合法权益，请来信通知我们，我们会及时删除，给您带来的不便，我们深表歉意。 |
特别提示：
本站不为所提供数据的错误、残缺、延迟或因依靠此信息所采取的任何行为负责。本股票网提供的所有内容仅供参考，不构成投资建议，投资者据此操作，风险自担。若侵犯了您的合法权益，请来信通知我们，我们会及时删除，给您带来的不便，我们深表歉意。
