GPT-5通过“哥德尔测试”！独创性解决博士生都得花几天时间的开放数学问题
GPT-5通过“哥德尔测试”！独创性解决博士生都得花几天时间的开放数学问题GPT-5，你这家伙！ 究竟还有什么事是我不知道的？ 在一篇最新论文中，研究人员让它挑战了5个尚未解决的优化猜想。 结果它居然解出了其中3个！
来自主题: AI资讯
6617 点击 2025-09-28 17:49
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
GPT-5，你这家伙！ 究竟还有什么事是我不知道的？ 在一篇最新论文中，研究人员让它挑战了5个尚未解决的优化猜想。 结果它居然解出了其中3个！
AI下半场，AGI已成过去式，ASI正引领新智能革命！OpenAI推出的GDPval评估体系，通过真实工作任务审视大模型潜力，揭示AI如何从实验室走向3万亿经济战场，助力人类从日常琐事中解放，拥抱创造性未来。
最近的报道指出，OpenAI 的 o3 模型已经在 Linux 内核中发现了一个零日漏洞；而本文的 KNighter 更进一步，通过自动生成静态分析检查器，把模型的洞察沉淀为工程可用、用户可见的逻辑规则，实现了规模化的软件漏铜、缺陷挖掘。
机器之心报道 编辑：+0 自动驾驶有 L1-L5 的分级路径，现在教育 AI 也有了自己的版本。 如今，「AI 下半场」已成共识，应用落地正成为决定未来的关键。教育，作为关乎人类发展的根本基石，已然成
打破思维惯性，「小模型」也能安全又强大！北大-360联合实验室发布TinyR1-32B模型，以仅20k数据的微调，实现了安全性能的里程碑式突破，并兼顾出色的推理与通用能力。
最近，一家叫 Numeral 的公司刚刚完成了 3500 万美元的 B 轮融资，由 Mayfield 领投，Benchmark、Uncork Capital、Y Combinator 和 Mantis 参与。这轮融资距离他们今年 3 月完成的 1800 万美元 A 轮仅仅过去了 6 个月，公司估值已经达到 3.5 亿美元。
奥特曼投下震撼弹：五年后AI将全面超越人类，到2030年诞生的「超级智能」甚至能攻克「量子引力」难题。人类智力的霸权时代，已进入倒计时。他在接受德国《世界报》采访时表示：我可以肯定地说，到2030年底之前，如果我们没能开发出能够完成人类自身无法企及任务的超级智能模型，我会感到非常意外。
业界首个高质量原生3D组件生成模型来了！来自腾讯混元3D团队。现有的3D生成算法通常会生成一体化的3D模型，而下游应用通常需要语义可分解的3D形状，即3D物体的每一个组件需要单独地生成出来。
不牺牲任何生成质量，将多模态大模型推理最高加速3.2倍！ 华为诺亚方舟实验室最新研究已入选NeurIPS 2025。
《Critterz》讲述了一群森林生物在村庄受到一个陌生人打扰后踏上冒险之旅的故事，该片是OpenAI创意专家Chad Nelson的创意。2023年，导演兼编剧Chad Nelson与Native Foreign团队完成了《Critterz》短片，并尝试首次使用OpenAI的DALL-E完成美术与场景风格设定。