AI资讯纽约大学数学家指责OpenAI在职业关键数学难题上手段不正当
纽约大学数学教授特里斯坦·巴克马斯特（Tristan Buckmaster）于周二宣布了三项证明，初步解决了理论数学中的一个重大未解难题。这些成果是在与Anthropic数学家Levent Alpöge合作，并借助OpenAI的Codex和Claude人工智能模型完成的，意义重大。然而，这一发现背后还伴随着一场关于OpenAI试图解决同一问题的非同寻常的争议。 巴克马斯特在其声明中写道：“这件事还
#数学难题
按标签聚合查看文章内容。
AI资讯
AI资讯OpenAI公布次代模型“Astra”，成功解决多项数学未解难题
美国OpenAI公司于6月1日宣布，其下一代主要人工智能模型命名为“Astra”。 在当天发布的题为《数学与理论计算机科学的十项进展》的文章中，OpenAI透露，内部版本的“Astra”模型已经成功解决了多项在过去十年甚至更长时间内未有突破的数学难题。 这些难题涵盖了高维几何、编码理论、算术电路复杂性、群论、算子代数、量子复杂性以及格子密码学等多个领域，均为数学界极为重要的研究课题。OpenAI
AI资讯图灵奖得主震惊！Claude一小时破解困扰唐纳德·克努斯30年的数学难题
唐纳德·克努斯惊叹于人工智能仅用一小时解决了他研究数周、甚至可追溯至30年前的数学问题，展现了AI在逻辑推理领域的巨大潜力。
AI资讯OpenAI次世代模型“Astra”解决了10个数学未解难题
美国OpenAI于8月1日宣布，其最新一代AI模型“Astra”成功解决或在数学及理论计算机科学领域的10个长期未解难题上取得重大进展。继今年5月AI反驳了埃尔德什的单位距离猜想后，Astra再次在数学领域展现出突破性成果。 据悉，Astra在解决这些问题时所消耗的计算资源，按ChatGPT-5.6 Sol的API费用计算约为2000美元（约合31万元人民币）。AI生成的证明经过同一模型辅助，由
AI资讯数学家称借助ChatGPT取得重大突破
一位年轻数学爱好者利用ChatGPT解决了困扰数学界六十多年的难题，引发专家关注。