GPT-5.6 霸气出手，中国医生16小时破解22年世界级数学难题，AI推理能力再破纪录！
IT之家 8 月 14 日消息，2025 年，一连串的协和 4+4 博士引发关注和热议，其中就包括金山木事件。时隔一年之后，金山木这个名字再次引发热议。 据《南华早报》今日报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，只用了约 16 小时就成功…
Claude破解668阶哈达玛矩阵，AI首次攻破FrontierMath开放难题，数学待解列表被划掉一行。
好数学家不挑AI模型
OpenAI新一代模型Astra曝光，2000美元算力破解十项数学难题，低成本高能力引发关注。
OpenAI当地时间8月1日发布有关数学和理论计算机科学的十项突破，这些成果由其下一代主要模型Astra的内部版本实现。按照Sol API的费率计算，找到这些问题的解决方案所需总词元（tokens）成本约为2000美元。十项突破涵盖高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、…
OpenAI下一代模型Astra攻克十余个十年难题，数学推理能力迎来质变，Token成本仅2000美元
IT之家 8 月 1 日消息，OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。 据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API…
OpenAI 和 Anthropic 的 AI 模型先后攻克 80 年经典数学难题，展示大模型在数学推理上的突破。
IT之家 5 月 27 日消息，在 OpenAI 宣布利用 GPT-5.5 模型攻克 80 年数学难题后，Anthropic 的工程师 Sholto Douglas 昨日（5 月 26 日）在 X 平台发布推文， 称 Claude Mythos 也解出了这道数学难题。 IT之家曾于 5 月 21 日…
OpenAI数学家借助AI破解80年未解几何难题，震惊学界
Nature, Published online: 22 May 2026; doi:10.1038/d41586-026-01651-0 The late Hungarian mathematician Paul Erdős thought he had the last word on a ge…
OpenAI GPT-5一口气攻克10个80年未解的Erdős数学难题，AI推理再破人类认知天花板
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarra…
AI首次挑战80年几何猜想，数学探索迎来新突破。
IT之家 5 月 21 日消息，OpenAI 称其全新推理模型推导出了一个原创数学证明，推翻了几何学中一道著名的未解猜想。该猜想最早由保罗・埃尔德什于 1946 年提出。 IT之家注意到，OpenAI 已不是第一次放出这般大胆的言论。七个月前，这家人工智能巨头前副总裁凯文・韦尔在社交平台 X 上发文…
OpenAI用AI破解1946年数学难题，见证大模型推理能力新突破
Article URL: https://twitter.com/openai/status/2057176201782075690 Comments URL: https://news.ycombinator.com/item?id=48215185 Points: 3 # Comments: 0