@_Mizzet_ @Nilkski_ 我的朋友,这是一个有效的观点。它们都是科技形式,并且都对环境造成危害。人工智能尚处于早期阶段。有很大的成长空间。各种类型的电话已于 12 月推出……

@_Mizzet_ @Nilkski_ 我的朋友,这是一个有效的观点。它们都是科技形式,并且都对环境造成危害。人工智能尚处于早期阶段。有很大的成长空间。各种类型的电话已于 12 月推出……

Viam Blackwood 在 X(原 Twitter)上回击了对 AI 与智能手机环境成本的争议性比较,指出 AI 仍处早期阶段且具有成长空间,而手机已发展数十年——这场争论折射出外界对 AI 能耗和生态成熟度的真实焦虑。

AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题

AI 用 prover-verifier LLM 循环攻克 9 个未解数学难题

AI 研究社区传出突破性进展:一种基于“证明者-验证者”LLM(大语言模型)循环的技术架构,成功解决了理论计算机科学领域 9 个长期悬而未决的数学问题。这并非简单的“解出一道题”,而是系统性展示了 LLM 在抽象数学推理中的潜力,重要性远超此前 OpenAI 的“埃尔德什差异问题”突破。