我们还更新了 Tinker 网站,并为新用户增加了快速上手体验。 https://thinkingmachines.ai/tinker/ 🔗 阅读原文 via AIHOT · https://aihot.news/items/smoy1s3ka8t4lqem0v9ky41s0
全部资讯
航空软件认证标准 DO-178C 要求需求可追溯、测试覆盖决策逻辑,安全关键软件还须由开发者之外的独立人员验证,波音 737 MAX 的 MCAS 也走了这套流程。 🔗 阅读原文 via AIHOT · https://aihot.news/items/usfatqqnmsz0h5zby70c5ax9b
Meta 基础设施负责人解释了 AI 如何有潜力为你所做的几乎任何事情提速。 https://about.fb.com/news/2026/10/meta-data-centers-ai-approach/ 🔗 阅读原文 via AIHOT · https://aihot.news/items/fxv4y63wgf40dt7fk18b60u58
2026 年多部以硅谷科技创始人为原型的批判性电影集中上映,包括聚焦 Mark Zuckerberg 的《The Social Reckoning》、讲述 Elizabeth Holmes 的《You Can See Everything》、刻画 Elon Musk 的 Gibney 纪录片,以及把 Sam Altman 塑造成操纵型人物的《Artificial》。 🔗 阅读原文 via AIHOT · https://aihot.news/items/sl9fgcgercthc13x4yjgsn1y2
Databricks AI 研究团队披露其作为 AI Runtime(AIR)首位客户的使用方式:AIR 提供 NVIDIA H100 或 B300 GPU,支持从数十亿到近万亿参数模型的 SFT、离线 RL 与在线 RL 训练。 🔗 阅读原文 via AIHOT · https://aihot.news/items/fap96oskdvggnc4gmdzdwwibt
Google 量子 AI 团队首次在物理硬件上演示魔力态培育,在 105 量子比特 Willow 处理器上错误率较以往方法降低约 40 倍,保留下来的态达到 99.99% 的逻辑保真度,成果发表于 Science。该方法会对每个态进行筛查并丢弃不合格尝试,仅约 8% 的尝试通过筛选,且仍需在更大规模上验证;作者称这是通往纠错量子计算机的一步。 🔗 阅读原文 via AIHOT · https://aihot.news/items/nevo6otra1woks7rxxcgcxdzn
快去提交你的 bot 和插件吧! (引用推文:你知道可以提交 Grok Bot(以及 Grok、Cursor)插件吗?在这里提交! https://x.ai/bot/marketplace/submit-a-plugin) 🔗 阅读原文 via AIHOT · https://aihot.news/items/qzarpbw0j941q5s6pvoybh0ix
Anthropic 承诺投入 500 万美元资金、算力与 Claude 访问权限,帮助数学界应对 AI 带来的巨大变化,并与 Simons Foundation 合作以社区驱动方式管理该资助,支持工作坊、会议和领域专家讲座。 🔗 阅读原文 via AIHOT · https://aihot.news/items/czozt6juvumudhf25edslqks1
原标题:《Why are we even doing all this?》 评分: 47 | 作者: smilelamp 💭 把好奇心外包烧雨林,换来 IPO 路演吗? 🎯 讨论背景 原文显然是一篇针对 AI 热潮的讽刺文章,将企业化 AI 描绘成消耗资源、批量制造晦涩“知识”,却把人类导向投机、内容消费和营销的机器。评论反复援引 Library of Babel(博尔赫斯虚构的穷尽文本组合图书馆)讨论 AI 生成内容的信噪比:随机组合几乎全是垃圾,而支持者认为当代模型的数学输出并非如此。数学部分还涉及 formal verification(用形式逻辑或程序检查证明正确性的技术)与可解释性之间的差别:机器可验证不等于人类能理解并信任。争论的更大背景是生成式 AI 的能源与数据中心成本、程序员生产力提升,以及资本是否会把技术收益优先转化为 IPO 和平台利润。 📌 讨论焦点 反商业化的 AI 反乌托邦焦虑 许多人认为文章的讽刺准确捕捉了 AI 被资本驱动后的荒诞:所谓“解决问题”最终落到量化金融、体育博彩应用、AI 短视频和政治机器人争吵上。批评者尤其反感把好奇心、创造力和理解力
Amazon设备与服务高级副总裁Panos Panay在TechCrunch Disrupt旧金山大会上对创业者发表演讲,强调失败是打造成功产品的必然且必要环节。他以本人在微软19年的经历为例,指出Surface RT平板电脑发售后遭遇重大挫折,导致公司近10亿美元资产减记。他回忆当时登上报纸头版被冠以"失败"标签,但承认那只是结果,关键在于回溯导致失败的决策过程——如软件未完成、库存错误、零售渠道失衡等环节。他建议创业者直面失败、从中汲取教训,但不要放弃愿景。以Surface后续的成功为例,他强调只需将方向修正约30度而非180度,通过学习调整愿景并迅速推进。