刚刷到一个有点离谱的消息。 OpenAI 说自家模型一口气拿下三项科学突破，数学、计算机、物理各一个。 我先只说数学那条，所有维度下的局部光滑猜想给出了证明… · @yuanbaopower · TwKit

@yuanbaopower

刚刷到一个有点离谱的消息。 OpenAI 说自家模型一口气拿下三项科学突破，数学、计算机、物理各一个。 我先只说数学那条，所有维度下的局部光滑猜想给出了证明，挂谷猜想和斯坦因限制猜想也就顺带解了。 证明已经用 Lean 形式化验证过，不过学界独立确认还没做完，这句先留着。 说实话，以前觉得 AI 解数学题就够吓人了，现在直接到证明猜想这一步了。 来源：https://aihot.news/items/jxpzj0z4beg1r0cktwzc0tmwe

曝光 7 · 评论 0 · 点赞 0 · 书签 0