Source: Slashdot
美国国防高级研究计划局（DARPA）推出的新项目expMath旨在利用人工智能助力数学创新。
该项目的目标是加速纯数学的进展，开发出能够提出和证明有用抽象概念的人工智能合著者。
尽管目前AI在高层次数学方面存在局限性，但DARPA希望通过与数学和AI社区的紧密合作，推动数学实践的根本变革。
项目负责人表示，虽然当前AI系统能否成功尚不明确，但数学界对可能的变革充满热情，期待AI在数学研究中带来新的可能性。
科技的进步常常需要勇敢的尝试，期待人工智能与数学的碰撞，能带来意想不到的奇迹！
特别声明：本文及配图均为用户上传或者转载，本文仅代表作者个人观点和立场，不代表平台观点。其原创性以及文中陈述文字和内容未经本站证实，
对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本平台不作任何保证或承诺，请读者仅作参考，
并请自行核实相关内容。如发现稿件侵权，或作者不愿在本平台发布文章，请版权拥有者通知本平台处理。
Copyright Disclaimer: The copyright of contents (including texts, images, videos and audios)
posted above belong to the User who shared or the third-party website which the User shared from.
If you found your copyright have been infringed, please send a DMCA takedown notice to
[email protected]
来源：https://science.slashdot.org/story/25/04/28/0255248/could-a-math-genius-ai-co-author-proofs-within-three-years?utm_source=rss1.0mainlinkanon&utm_medium=feed
科技汇总 2025-04-27
用微头条App打开
