北京
分享至
行业动态
中国社科院语言学重点实验室发布5项成果 中国社会科学院语言学重点实验室在京举行首次成果发布会，发布5项研究成果，包括西夏文数智平台、学前儿童普通话发音智能测评系统等。其中，学前儿童普通话发音智能测评系统入选国家关键领域语言科技赋能创新项目案例。成果涵盖基础研究、应用研究和文化传承发展，强调语言文字与人工智能双向赋能，推动语言学与其他学科交叉融合。
OpenAI宣称耗时88小时，解开有着90年历史的纳维斯托克斯数学难题 OpenAI使用一万个智能体耗时88小时攻克了90年历史的纳维斯托克斯方程问题。该公司表示，这些智能体依靠自研AI模型协同工作，包括调用工具、读取互联网缓存版本和运行代码。然而，纽约大学数学教授特里斯坦巴克马斯特对OpenAI的研究提出了质疑，认为其解题路径与他和同事的研究思路相似。克雷数学研究所尚未对OpenAI提出的解法发表评论。
11 天、30 万美元：AI 攻破 358 年数学难题的最后一关 Anthropic的AI模型Claude在11天内完成了费马大定理的机器验证，这是首个端到端、可由计算机完整检查的形式化证明。该证明基于Lean编程语言和Prove2Me工具，涉及1300万行代码和约60亿个输出Token。这项成就在数学界引发广泛讨论，尽管AI没有发现新的数学定理，但它证明了AI可以将人类最复杂的数学成果转化为机器可验证的形式。
AI 首次“形式化”证明费马大定理 美国AI公司Anthropic开发的AI聊天机器人Claude首次将费马大定理转化为计算机验证代码，仅用11天完成人类预计10年的项目。这一成果表明AI在核验数学家工作及产生新数学推理方面将发挥重要作用。尽管Claude生成的代码包含大量中间定理，可能面临多个不兼容Lean库的挑战，但数学界仍对此表示欢迎，认为AI或许不久能审视整个数学知识库。
北京中关村学院院长刘铁岩：AI的未来将被年轻人重新定义 北京中关村学院举行2026级新生开学典礼，党委书记、院长刘铁岩鼓励学生加入人工智能领域的未来实验。学院强调培养人工智能领军人才，与国家战略发展同步。典礼上，提及1956年达特茅斯学院提出人工智能概念，强调学院肩负培养顶尖AI人才、研发核心技术、成为顶级智库的使命。北京中关村学院与哈尔滨工业大学等31所高校共建，深化人才培养等合作。学院拥有百余名全职教师、顶尖学者工作室、先进实验室等资源，并举办X科技节，旨在推动科技创新与产业融合。
本文由小欧AI基于亿欧数据生成，如有问题及建议，欢迎通过网站底部联系方式和我们联系。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
