「人类数学」共找到 1462 篇相关文章
奥特曼最新深度访谈：AI至今没有iPhone时刻！
OpenAI首席执行官山姆·奥特曼在深度对谈中复盘大模型发展，谈及砍掉Sora和自研浏览器聚焦平台，认为AI缺iPhone时刻，还分享ChatGPT决策过程、创业经历，提出从成功学经验等观点，反驳末日论。
百年黎曼猜想被Claude破了新纪录！是个未公开新模型
A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。
红杉高瓴投资，前美团民宿 CEO 联合伯克利教授，做了一只 AI 蘑菇
Sowii 推出潮玩「秃秃」，首批 3 万件两天售罄，后续预售超 20 万件。创始人冯威赫是前美团民宿 CEO，联合创始人是伯克利教授。该产品让用户对非人类对象产生关注并建立关系，探索数字生命新形态。
全国大学生，苦 AIGC 检测久矣
央视报道，多位高校学生毕业论文被 AIGC 检测系统误判，甚至《滕王阁序》《出师表》也被标为高风险。检测原理主要依赖「AI 困惑度」和「突发性」。毕业季检测算法升级致结果大幅波动，引发学生不满。
想进OpenAI？先解出这道题，百万美元算力已就位
OpenAI发起Model Craft Challenge「Parameter Golf」项目，要求在固定数据集上降验证损失，模型产物控制在16MB内，8张H100 GPU 10分钟完成训练。提供百万美元算力，6月招早期人才，挑战3月18日至4月30日。
AlphaGo 十年：哈萨比斯说，Altman 曾把“坦克”停在我的草坪上，我要反击
在 AlphaGo 诞生十周年之际，中关村两院举办对话活动。《哈萨比斯：谷歌 AI 之脑》作者分享其成长轨迹，马拉比与刘铁岩就 AGI 交流，谈及哈萨比斯使命感、跨学科背景及竞争意识，还探讨 AI 应用方向。
AI x 大前端性能稳定性：快手亿级 DAU 下的智能诊断实践
本文整理自快手移动端稳定性负责人李锐在 2025 年 QCon 大会的分享。介绍快手大前端性能稳定性挑战，阐述借助「柯南 AI」赋能排障的实践，含根因排障和应急处置案例，还谈了开发中思维切换等认知。
规范驱动开发落地经验谈：为什么 AI 编程的关键不在模型，而在协作方式
文章指出 AI 编程关键在协作方式，规范驱动开发（SDD）应运而生。它有诸多价值，但落地面临工具短板等挑战。企业可将其适配现有工作流，长远看需将规范作为动态指南，实现智能体编排开发的质量转变。
一副手套，干翻硅谷炫技派！中国队杀入战场，狂卷100万小时数据
硅谷具身智能玩家为数据发愁，中国灵初智能另辟蹊径，用数据手套采集工人操作数据，成本低且数据泛化性强。其专注物流细分场景，2026年收敛资源做深现有场景，目标推100万小时数据训练模型。
万字拆解：Manus 的 PMF 到底是什么，以及谁在为它一直买单？
本文深入剖析 Manus，探讨其 PMF。分析其使用场景、产品价值，对比与 ChatGPT 差异，勾勒核心用户画像，还发现 AI 工具分工、用户消费特点等，指出 AI 竞争关键，阐明 Manus 边界与行业机会方向。