「摆圆难题」共找到 1283 篇相关文章
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
本文报道了数学爱好者nor借助GPT-6 Astra，完成了搁置57年的“圆内摆圆”问题中N≤20剩余5种情况的严格最优性证明，展现了AI在数学研究领域的新应用。
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
本文爆料头部AI实验室破解千禧年数学难题的最新进展，OpenAI攻克纳维-斯托克斯问题后，五天内就在霍奇猜想上取得实质性进展，Anthropic也接近解决另一难题，展现AI推理能力的飞速迭代。
情人节最硬核“Kiss”！中国AI突破300年亲吻数难题，连刷多维度纪录
中国AI打破300多年的亲吻数难题。上海科学智能研究院等团队提出PackingStar系统，刷新多维度世界纪录。它将难题转化为多智能体博弈，成果获高度评价，还体现了AI for Science 2.0特质。
终于有AI视频模型，解决了体操难题。
前天深夜MiniMax发布Hailuo 02视频模型，虽未正式上线但放了预告片。该模型能生成杂技动作，解决了体操难题，在复杂动作肢体表现上吊打其他模型，还支持原生1080P，价格便宜。
3晚攻克世界数学难题，黑洞方程秒解！OpenAI：AI正让科学加速100年
2026年，AI成科学家新战友。数学家Ryu用ChatGPT三晚攻克优化难题；物理学者Lupsasca用GPT - 5 Pro 18分钟重现黑洞隐藏对称性；OpenAI为生物领域构建GPT - 4B Micro助力攻克难题。OpenAI称科学加速时代来临。
刚刚，2025哥德尔奖出炉！破解30年难题，十年论文摘桂冠
2025年哥德尔奖揭晓，康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman凭借2016年论文《Explicit Two-Source Extractors and Resilient Functions》获奖。论文构造显式双源提取器，解决近三十年难题，还建立伪随机性研究子领域联系。
用 Docker 跑大模型训练，Unsloth 解决了环境配置难题
Unsloth AI 发布 Docker 镜像版本，解决本地训练大模型环境配置难题。拉镜像就能训练，依赖和示例 notebook 都打包好。使用简单，不过有暂不支持 Mac 系统等限制，单卡 NVIDIA GPU 场景较适用。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了！
本文报道OpenAI攻克千禧年数学难题纳维-斯托克斯方程事件，探讨AI生成证明超出人类认知上限的现状，剖析AI对传统科研范式、学术体系的冲击与伦理困境
LeCun炮轰Hinton：他认可LLM就是想摆烂退休了！
Yann LeCun在播客专访中火力全开，炮轰Hinton认可LLM是想摆烂退休，直言LLM不是通往智能的路，还吐槽Meta卷入LLM竞赛后无法专注研究。他介绍了新公司AMI和世界模型、JEPA等技术，认为JEPA类世界模型五年内将统治AI圈。