「十杯马提尼猜想」共找到 147 篇相关文章
梁文锋，Nature全球年度十大科学人物！
权威科学期刊《自然》公布2025年度十大科学人物榜单，梁文锋因DeepSeek模型对AI领域的重要贡献与变革性影响成功当选。此外，中国研究员杜梦然也因相关研究入选，还有多位其他领域人物因各自成就上榜。
GPT-5.2发布，OpenAI十周年纪念版更新。
OpenAI在成立十周年之际发布GPT-5.2。此次更新让其在真实工作场景更实用，包括PPT/表格制作能力升级、前端编码能力惊艳、视觉能力细节处理更强、工具调用意识领先等。
思特威、格科微……十大厂商亮出传感器“王牌”
在全球半导体竞争与供应链重构下，中国传感器芯片产业机遇与挑战并存。本文精选2025年参评‘芯师爷-硬核芯年度评选活动’的思特威、格科微等十大厂商及其产品，展现产业感知层关键突破。
36年卷积猜想被解决，华人唯一作者，AI或受益
华人学者 Yuansi Chen 解决 36 年的 Talagrand 卷积猜想数学问题，论文证明布尔超立方体上热半群下非负函数有更好尾部界限，除额外 log log 因子，主要问题已解决，对多领域有基础意义。
刚刚，GPT-5.2满分屠榜，OpenAI十周年王者归来
OpenAI 十周年推出 GPT - 5.2 系列模型，包括 Instant、Thinking 和 Pro 版本。它在多方面表现出色，刷新多项基准测试 SOTA 水平，如 AIME 2025 获满分，在 GDPval 达人类专家水平。还在编码、视觉理解等能力上有显著提升。
刚刚，DeepSeek梁文锋入选Nature年度十大人物！被称为「科技颠覆者」
《自然》评出2025年度十大科学人物，DeepSeek梁文锋入选，被称为「科技颠覆者」。他的公司发布的R1模型功能强大、价格低廉，训练成本低，还开放权重，为研究者提供经验，其成果已融入国人生活。
刚刚，GPT-5首次通过「哥德尔测试」！破解三大数学猜想
GPT - 5首次通过「哥德尔测试」，破解三大组合优化猜想。研究由海法大学和思科主导，团队设计五项测试任务，GPT - 5在三个简单问题上近乎完美，还推导出不同解法，标志AI从「学习数学」迈向「做数学」。
从大数据到好猜想：如何用大模型做市场研究？
文章指出大模型重塑用户需求调研，并非按常规用AI获取和清洗数据，而是让模型扮演真实用户。以品牌分析社交媒体数据为例，探讨大数据局限，还介绍‘好猜想’标准，最后说明Atypica.AI能构建消费者智能体解决归纳问题。
北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明
困扰数学和量子力学交叉领域半个世纪的“十杯马天尼”问题，虽2005年被数学家给出完整证明，但原证明依赖特殊对称性，难以推广到现实。北大葛灵睿、南开尤建功加入研究，将结论推广到更大类准周期算子，给出更优雅统一证明。
刚刚，Claude独立攻克图论猜想，仅用31步！算法祖师爷高德纳震惊发文
Claude Opus 4.6仅用31步独立攻克图论猜想，算法祖师爷高德纳震惊发文，认为需重新评估生成式AI在数学研究中的作用。这标志着AI在自动推理和解决创造性问题上达到新里程碑。