「弱哥德巴赫猜想」共找到 138 篇相关文章
陶哲轩ICM 2026：数学界迎来「百年新危机」，AI狂飙逼迫全行业重写游戏规则
7月24日，陶哲轩在ICM 2026演讲指出数学界正经历新危机，关乎价值观与工作方式。他围绕AI能力猜想探讨数学界如何应对，列举目标和风险，提出需升级目标，还介绍莱顿宣言建议。
米哈游蔡浩宇，发了个“游戏版ChatGPT”
米哈游蔡浩宇上新AI聊天软件AnuNeko，用户反馈其人性化高但逻辑较弱。AnuNeko出自蔡浩宇新公司Anuttacon，该公司此前还推出实验性AI游戏。如今AI+游戏大势所趋，米哈游新游也加入更多AI元素。
阿里Qwen3技术报告核心要点解读！
阿里Qwen3技术报告发布，披露模型架构、预训练及后训练等技术细节。其有密集与混合专家两种模型架构，预训练数据量和语种增多，后训练采用强到弱蒸馏提升性能，各模型表现优异。
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
代码榜刷满分，AI科研却撞墙？140道真实研究题撕开「自进化」真相
新工作MLS - Bench覆盖12领域、140个研究任务，评测前沿模型科研能力。虽模型工程执行强，但科学发现能力弱，当前仍难提出有效算法创新。其评测已纳入Kimi K3和Qwen3.8 - Max官方发版表。
谁杀死了那篇好论文？AI顶会乱象：好文被刷，低分论文捧上天
一位AAAI 2026审稿人在Reddit匿名爆料，称评审流程乱象丛生，好论文被拒、弱论文晋级，还有疑似“关系稿”。AAAI启用AI辅助审稿系统，本意提升效率，却让评审更不可控，侵蚀学术信任。
Ilya重新定义AGI: 为什么ChatGPT离真正的AGI还很远
OpenAI前首席科学家Ilya在访谈中提出对AGI的新定义，还指出AI规模时代结束，未来拼想法和研究深度。他分析模型评测强但经济影响弱的原因，阐述人类价值函数作用，且SSI战略或调整。
DeepSeek终于丢了开源第一王座，但继任者依然来自中国
几千人盲投中，Kimi K2超越DeepSeek成全球开源第一，总榜第五紧追顶尖闭源模型。虽有人质疑其采用DeepSeek V3架构，但团队称有参数调整。当下开源模型崛起，正打破性能弱的刻板印象。
GPT-5通过“哥德尔测试”！独创性解决博士生都得花几天时间的开放数学问题
最新论文中，研究人员让GPT - 5挑战5个未解决的优化猜想，它解出3个，还对一题给出不同有效证明方案。测试题需博士水平研究者花几天完成，研究还“挑衅”了陶哲轩对大模型数学能力的印象。
Manus跑路了吗？
4个月前爆火的AI Agent产品Manus，被曝裁掉国内七成团队，总部迁至新加坡。官方称是基于经营效率考量调整业务。Manus自3月上线后动作不断，其核心力量大迁徙或因海外生态更成熟、国内付费习惯弱。