数学家惊了！ChatGPT首次原创独立证明数学假设
快科技3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5.2(Thinking)成功破解了一项此前悬而未决的数学猜想，同时催生了名为“vibe-proving”的全新AI推理方法，相关预印本论文已于2026年2月21日发表在arXiv平台。此次研究聚焦的核心命题，是数学家Ra
科技1 阅读
搜索: "数学证明"
共找到 2 篇相关文章
数学天才陶哲轩遭遇Claude挑战，详尽操作指南助其逆转局势
新智元报道全球知名数学家陶哲轩亲身经历了一场与AI的较量，他的实验警告人们：技术越先进，人类就越不能放松警惕。在一次长达45分钟的操作后，电脑因过度计算而直接死机了。世界顶尖数学家陶哲轩在测试一种最新的AI编程工具时遇到了一个令人惊讶的问题。几个月前，他在视频中展示了如何将复杂的数学证明进行形式化处理。然而在九个月后，面对备受推崇的新一代AI助手Claude Code，他原本以为这会是一次轻松的胜
科技2 阅读