「社区新规」共找到 4093 篇相关文章
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
AI逼疯七巨头，马斯克们深陷中年危机！
人工智能来势汹汹，科技巨头们陷入「AI焦虑」。谷歌搜索危机、苹果AI滞后、马斯克的特斯拉销量滑坡，巨头们面临挑战，谁会成AI时代「诺基亚」尚不明朗，新兴模型也带来新变数。
AI Coding时代的柔性之美：从静态软件到自演化软件，软件研发正在重新进化
本文为王博在《AI原生软件研发成熟度模型AISMM 2026》白皮书发布之际撰写，探讨AI Agent介入后软件形态、研发流程的变革，提出柔性软件概念与传统软件柔性化路径，为企业AI原生研发提供参考。
实测豆包 Seed-2.1-pro-0915：一个微信小程序原型，看它如何把需求写成可运行代码
本文为豆包Doubao-Seed-2.1-pro-0915新版本实测内容，展示该模型的多模态编程能力，以生成鱼类识别微信小程序为例，给出基准测试成绩，介绍其适用开发场景。
一点点偏差，为什么会把大模型 RL 带跑偏？
本文解读Together AI的新算法论文，讲解大模型强化学习中，采样端与训练端的微小偏差如何累积放大导致训练跑偏，介绍Score Centering校正方法的原理、效果与应用边界。
能识图、看视频，也能理解软件界面：蚂蚁百灵开源Ling-3.0-flash-VL
本文介绍蚂蚁百灵开源的多模态大模型Ling-3.0-flash-VL，该模型采用稀疏混合专家架构，支持图片、视频、软件界面理解，可将视觉信息用于推理与任务执行，开放权重采用MIT许可证供开发者部署测试。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
GoPro卖身了，准备搞光模块
当地时间9月1日，GoPro与Starman Optical达成合并协议，后者2.85亿美元收购约90%股权。GoPro曾辉煌，后因产品、对手、内存等问题衰败。Starman看中专利等，GoPro或涉足新领域。
Claude最强Fable 5.1发布！8项屠榜，最高降价45%，反蒸馏机制上线
Anthropic发布Fable 5.1和Mythos 5.1，8项基准测试夺冠，价格最高降45%。展示科研成果，如蛋白质设计、生成金星地图等。上线反蒸馏机制，防止篡改上下文，还给出替代方案。
“额度想重置就重置，不问财务”，Codex Tibo首曝幕后：产品没做好，就补偿用户
围绕 Codex 与 Claude Code 使用额度问题，社区不满额度机制不透明不可预测。Codex 团队 Tibo 公开额度重置逻辑源于补偿，并非营销。此外，还谈及产品融合、技术创新、算力决策等多方面内容。