Meta AI 的 François Fleuret：AI 数学将让人类数学彻底边缘化
Meta AI 研究科学家 François Fleuret 认为，AI 数学之于人类数学将如同 CPU 每秒十亿次算术运算之于笔算，要求 AI 数学成果对人类可解释只是「可理解性税」，并不现实。他主张把重点转向机器可验证的形式化基础设施：推动 lean proofs 标准化与开放性，并强化、多样化 Lean 验证器等工具链。
#Meta
#Meta
今日 2 条AGI HuntAI 评分4343 AGI HuntAI 评分1717 Alexandr Wang 玩梗：他们总算是躲过了那些指控
Scale AI 创始人、Meta AI 负责人 Alexandr Wang 发推玩梗，称相关方“成功躲开了指控”（dodged the butthole allegations）。原帖未展开细节，属 AI 圈围绕某争议事件的调侃式表态。
MIT Technology Review：AIAI 评分3535 The Download：Anthropic 的 AI 发现争议与 2026 气候科技公司名单
Anthropic 宣布其新设分子生物学实验室作出首个发现：AI 智能体标记出一个此前未被收录的酶相关模式，生物学家质疑这能否算作发现。有研究者称其团队早已发现同一模式，并质疑该系统是否从他与 Claude 的对话中学习。MIT Technology Review 的 2026 气候科技公司名单将于 10 月 6 日发布，覆盖储能、核能、交通等领域。
AGI HuntAI 评分4343 算账：Meta Muse 即便激进优化，每用户年成本也达 50 美元
bookwormengr 测算，Meta Muse 即便负载极轻、优化极激进，服务全球数十亿用户仍需约每用户每年 50 美元算力成本（每月约 4 美元）。其推演的变现路径包括将 Muse 绑定 Meta 自家支付服务，以及向中小企业提供 CRM、POS 和自动通话/聊天客服，10-100 美元/人月定价可行。凭借社交网络、数据中心能力与自研芯片，Meta 有望借此成为全球最具统治力的公司。
AGI HuntAI 评分4949 算账：Meta Muse 每用户成本 51 美元，免费模式难以为继
作者用自建计算器估算 Meta Muse 免费成本：按每天 15 分钟使用、1000 万 token 消耗，每用户约 51 美元，Meta 需从每用户赚 70 美元才能维持当前利润率。基线来自 SemiAnalysis、DeepSeek DSec、AWS 定价与 Meta 财报。作者称 Muse 沙盒 CPU 平均利用率不足 5%，一个物理核可支撑 25 个沙盒核。
AGI HuntAI 评分1515 网友玩梗调侃 Meta AI 负责人 Alexandr Wang 近期推文画风
网友发帖配图调侃 Meta AI 负责人 Alexandr Wang 近期的推文风格，属于 AI 圈人物向的玩梗内容。该帖实质看点在配图本身。
SiliconANGLE：AIAI 评分3333 theCUBE Pod：AI 智能体重塑企业系统，CoreWeave 持续崛起
在最新一期 theCUBE Pod 中，John Furrier 与 Dave Vellante 讨论了 AI 智能体如何重塑企业 IT 系统以及 CoreWeave 的崛起前景。
TechCrunch · AIAI 评分6060 Meta 的个人 AI 智能体 Muse 能否克服信任问题
Meta 在年度 Connect 活动上力推新发布的个人 AI 智能体 Muse，明确押注消费端，与 OpenAI、Anthropic 同期转向编码和企业工具的方向相反。TechCrunch 的 Sean O'Kane 上手试用后靠 Muse 找到一笔无人认领的资金，但他认为这更像一次性的小把戏，真正的问题在于用户是否愿意把信用卡、Gmail 等敏感信息交给以广告为业的 Meta。
Wired AIAI 评分5151 Meta 的 Muse 限定 18 岁以上，为何吉祥物像儿童玩具？
Meta 的 AI 智能体 Muse 仅限 18 岁以上使用，但其吉祥物 Jolly 的可爱造型被儿童权益组织批评为明显面向低龄儿童。Meta 发言人回应称 Muse 应用要求用户填写出生日期，并拦截疑似未满 18 岁者注册，还计划今年晚些时候推出 Tamagotchi 风格的 Muse Charm 设备。
Wired AIAI 评分6464 实测 Instinct：一个值得冒险的 AI 智能体
Wired 作者 Zoë Schiffer 试用邀请制 AI 智能体 Instinct，它通过 iMessage 和 WhatsApp 连接邮箱、日历与消息应用，替她完成威尼斯餐厅预订，还取消机票并拿到约 550 美元退款。
MIT Technology Review：AIAI 评分4747 AI 主导纽约气候周的核心讨论
AI 成为纽约气候周与联合国大会期间绕不开的核心议题，联合国秘书长 António Guterres 称它既能帮助解决气候挑战，也可能让问题更糟。2026 上半年全球气候科技 VC 投资达 $26 billion、同比增长 55%，资金多流向数据中心相关产品，碳管理与低碳燃料投资下滑。
Gary Marcus：The Road to AI We Can TrustAI 评分4949 Meta Muse 背后的秘密：重演 Facebook M 的旧剧本
Meta 新智能体 Muse 被指在重走 Facebook M 的老路，同样主打餐厅预订、剧院购票等任务。Meta 于 2015 年推出的 Facebook M 仅开放给约 1 万名用户，因运行成本高昂未能推广，且被曝有真人幕后参与，该项目在 2018 年 1 月被取消，当时由 AI 处理的请求不超过 30%。作者对 Muse 能否成功存疑，并批评 Meta 在隐私问题上依旧麻木。