AI资讯
Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学难题，成果经同行评审发表于 Science
Google DeepMind 的 AlphaProof Nexus 解出了数十道此前未解决的开放数学问题，其中包括九道 Erdős 问题，其中两道已悬置 56 年。相关研究发表在 Science 上，且成果在发表前经过了同行评审。这一…
标签
标签： 数学推理
共 2 篇资讯
AI资讯
OpenAI 发布 719 份数学难题解答，未达数学家咨询组设定的标准
OpenAI 本周发布了数百份针对世界级数学难题的解答，并称已咨询由普林斯顿高等研究院主办的「数学与人工智能咨询组」（AGMAI）以避免重蹈此前争议。但 TechCrunch 的核查显示，OpenAI 的做法与 AGMAI 在 9 月底…