标签： 数学

创历史！GPT-5全球顶尖大赛夺冠，人类屈居第二，北交大团队国内第一

编译 | 程茜 编辑 | 李水青 智东西9月18日消息，今天凌晨，OpenAI和谷歌前后脚宣布，自家模型在全球知名编程竞赛ICPC 2025获得金牌级别的表现。 OpenAI推理系统答对了全部12道题 … Continue reading 创历史！GPT-5全球顶尖大赛夺冠，人类屈居第二，北交大团队国内第一

刚刚，梁文锋发Nature了！

DeepSeek-R1开创历史！首登《自然》封面，梁文锋团队正面回应蒸馏质疑、发布详尽安全报告。 作者 | 陈骏达 编辑 | 李水青 昨晚，DeepSeek再度开创历史！ 智东西9月18日报道，9月1 … Continue reading 刚刚，梁文锋发Nature了！

降低大模型幻觉、让企业AI输出更靠谱，亚马逊云科技掏出10年家底

作者 | ZeR0 编辑 | 漠影 智东西9月16日报道，生成式AI幻觉问题是令人们不敢信任AI的一大痛点。对此，亚马逊云科技将其核心云服务中长期使用的自动推理技术拿出来，作为Amazon Bedro … Continue reading 降低大模型幻觉、让企业AI输出更靠谱，亚马逊云科技掏出10年家底

马斯克突袭挥刀，曝xAI最大部门1/3员工一夜被裁

编译 | 王涵 编辑 | 漠影 智东西9月15日消息，据外媒Business Insider报道，相关人士透露，马斯克旗下的AI初创公司xAI于当地时间周五晚间或已经裁了数据标注团队至少500名员工， … Continue reading 马斯克突袭挥刀，曝xAI最大部门1/3员工一夜被裁

陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战—— 在Lean中形式化强素数定理（P … Continue reading 陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

奥尔特曼称AI给自己带来重压：ChatGPT发布以来就没睡过一个好觉

IT之家 9 月 13 日消息，据《财富》杂志 11 日报道，OpenAI CEO 奥尔特曼在接受采访时面带苦笑地表示：“自从 ChatGPT 上线后，我就没睡过一个安稳觉。” 在这场长达半小时的对谈 … Continue reading 奥尔特曼称AI给自己带来重压：ChatGPT发布以来就没睡过一个好觉

谷歌发布71页AI科研报告！6大领域全面超越专家，几小时顶几个月

编辑：倾倾 谷歌最新71页论文震惊科研界：AI不止能写代码，还能像科学家一样提出新方法、跑实验，甚至在六大领域全面超越专家！过去要花几个月的探索，如今几小时就能完成，科研节奏正在被AI改写。 一图看透 … Continue reading 谷歌发布71页AI科研报告！6大领域全面超越专家，几小时顶几个月

阿联酋开源“最快推理模型”，撞名Kimi，基于阿里Qwen，用上全球最大芯片

编译 | 程茜 编辑 | 心缘 阿联酋的高性能推理模型，刚刚开源！ 智东西9月10日消息，今日上午，阿布扎比穆罕默德·本·扎耶德人工智能大学（MBZUAI）联合AI创企G4 … Continue reading 阿联酋开源“最快推理模型”，撞名Kimi，基于阿里Qwen，用上全球最大芯片

爱普生发布AI学习打印机：整合口算批改等三大核心功能

凤凰网科技讯 9月10日，爱普生与京东昨日联合发布全球首款AI学习打印机，该产品整合AI作文批改、口算批改及错别字批改三大核心功能，通过接入豆包企业版及汉王天地大模型实现智能化学习辅助。 用户可通过手 … Continue reading 爱普生发布AI学习打印机：整合口算批改等三大核心功能