一群日本 AV 女优和歌手,正在偷家大厂 AI 产品经理
一群日本 AV 女优和歌手,正在偷家大厂 AI 产品经理在这个被大模型和 AI 融资神话包裹的 2026 年,如果有人问:谁是国内大厂 AI 产品经理最危险的竞争对手?
搜索
在这个被大模型和 AI 融资神话包裹的 2026 年,如果有人问:谁是国内大厂 AI 产品经理最危险的竞争对手?
同志们家人们,国庆假期终于结束,此时此刻我在德黑兰等飞机,看到大伙又开始发表自己对于Personal agent的重要见解,无脑吹捧邪恶的扎克伯格的拉盘行动。
厘清智能近日完成天使轮及天使+轮数亿元融资,蚂蚁集团连续两轮加码并领投天使+轮,资金将投入物理世界数据管线、模型研发、物理仿真、能力评测、跨本体适配与部署系统建设。
今天上午,OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议,我们在上一篇报道里已经梳理过。这一篇换个角度,打开仓库,看看清单上到底有哪些成果。
太炸裂了!
OpenAI公开了未发布的内部前沿模型产出的722篇数学手稿,归为372个成果族,涉及准黎曼猜想和四维挂谷猜想等,其中235族附有Lean形式化说明,仍待专家审读验证。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码,并经Lean严格验证,攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
陶哲轩在SAIR最新演讲中呼吁AI公司放慢数学解题速度,称AI量产证明却缺乏理解、阐释和传播,将引发“Proof Indigestion”与数据污染风险。
普林斯顿大学陈丹琦团队在arXiv发布约4B参数模型QUEEN,通过门控交叉注意力连接Leela与SmolLM3-3B,并引入四阶段课程和迭代搜索蒸馏,使其棋力接近特级大师且能用自然语言解释着法。
Anthropic强化学习技术负责人Sholto Douglas预测,能力等于甚至超过所有人类的AGI可能在未来几年内出现,2028年AI年度资本开支或达4万亿美元,而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。