搜索：十杯马提尼猜想

「十杯马提尼猜想」共找到 148 篇相关文章

AI越强，企业越迷茫：顶尖CIO们的十大真实之问

阿里云CIO与40余家头部企业CXO深度碰撞，总结出《企业智变下的CIO集体之问》。报告指出企业AI落地困境，如数字人认知混沌、知识库建设难等，探讨十大经典问题，为企业提供思考方向。

OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。

OpenAI公开62页核心手稿，展示GPT对十大「菲尔兹奖级」数学难题的完整推演，涵盖高维球体堆积、非sofic群构造等。仅花2000美元Token成本，引发全网热议，被指或为GPT - 6，强化学习大佬称像“奇点前夜”。

OpenAI用125页思维链解开Erdős 80年猜想，Anthropic研究员Levent Alpoge让Mythos断网测试，找到更短更简洁路径。Mythos用数论方法打破僵局，过去一周OpenAI、DeepMind、Anthropic分别攻克相关难题。

过去一年，Data + AI 关注点从模型能力转向企业承载 AI 的系统能力。InfoQ 联合 Snowflake 发起直播活动，邀多行业人士复盘与前瞻，有认知回顾、十问环节，结尾嘉宾留 2026 预测。

90后华人数学家Yuansi Chen攻破困扰数学界30多年的塔拉格兰卷积猜想，论文精确到一个log log η因子。此研究为理解高维离散空间平滑化提供论证，与机器学习、生成式AI密切相关。

当地时间9月19日，斯坦福大学和爱思唯尔发布2025全球前2%顶尖科学家榜单。清华746位学者入选，全球大学排第四超斯坦福。周志华、张正友进全球前1000，图灵奖得主Bengio进年度前十。

新智元十周年峰会以「新天终启万象智生」为主题，众多大咖齐聚。王海峰、赖俊杰、王小川等分享观点，还开源模型、发布奖项。大家认为AI发展虽有波折，但2027年将达ASI临界点，智能体大爆发。

北大王立威团队构建基于 LLM 的框架，聚焦 Gilbert - Pollak 猜想，将二维平面斯坦纳比从 0.824 改进到 0.8559。该进展被陶哲轩收录，工作已被 ICML 2026 接收，代码和证明均已开源。

2025年1月17日，研究者Neel Somani让GPT-5.2 Pro解1980年提出的埃尔德什猜想第281号问题，证明经陶哲轩验证成立。此外，网友发现有更简单经典解法。陶哲轩提醒评估AI真实成功率有报告偏差。