标签: 人工智能

人工智能时代的数学

人工智能时代的数学

Hacker News 上围绕“人工智能时代的数学”展开讨论,核心争议是:当定理证明复杂到无人能完全理解、只能靠 Lean 等形式化验证确认正确时,我们是否还应该接受它并继续在其上搭建新成果。

LLM时代的可扩展软件

LLM时代的可扩展软件

Hacker News 上围绕 Cloudflare 新发布的“Agent OS”(或称 AI OS)展开了一场争论,核心分歧在于:这类产品究竟是真正的操作系统,还是只是套用了“OS”名号的 Agent 工作台;同时,开发者们开始认真讨论 LLM 生成代码后留下的“烂摊子”由谁来收拾。

Meta AI 即将推出 Mac 应用

Meta AI 即将推出 Mac 应用

Meta 推出适用于 Mac 的 AI 聊天应用,允许用户将屏幕窗口内容共享给 AI 以获得建议和内容生成,同时将 AI 能力深度接入 Instagram、Facebook 广告账户及 Google Workspace。这是 Meta 在 AI 助手桌面端竞争中的一次明确卡位。

OpenAI踩下刹车,现在怎么办?

OpenAI踩下刹车,现在怎么办?

OpenAI 在 2026 年 8 月主动放慢部分大模型训练进度,包括暂停部署模型的强化学习训练两周,以强化安全防护。这是大型 AI 实验室罕见地公开执行“自愿减速”策略,但能否真正带来行业安全,仍取决于竞对是否跟进。

这家初创公司正在帮助华尔街为AI算力定价

这家初创公司正在帮助华尔街为AI算力定价

初创公司 Silicon Data 完成 3000 万美元 A 轮融资,试图为 GPU 租赁市场建立像股票指数一样的参考价格,并计划在芝加哥商品交易所(CME)推出算力期货合约。这件事意味着 AI 算力这个巨大的支出项,正在从“按小时租服务器”变成一种可以被定价、对冲和交易的金融资产。