最新快讯
追踪 AI、机器人与新兴科技公司的最新产品、融资、岗位和商业化信号。
全部ai
Friday 开源编码智能体协作框架发布,可统一调度 Claude Code、Codex 等工具Friday 是一个 MIT 许可的开源编码智能体协作框架,可在一个界面里调度 Claude Code、Codex、Cursor、Gemini CLI、GitHub Copilot 等已安装并登录的编码工具。Hacker News2026-10-27 20:40查看详情>>OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域产出的证明OpenAI 请外部专家担任 shepherd,分别核查其 AI 在数学、计算机科学和物理领域产出的证明,并已将数学与计算机科学证明翻译成 Lean。计算机科学结果声称推翻长期被接受的 ETH,数学结果声称把局部光滑猜想推广到所有维度,物理结果只解决了 Yang-Mills 存在性部分而非质量间隙。The Decoder2026-10-27 20:37查看详情>>解读指数时间假设,以及 OpenAI 声称它不成立的那篇论文OpenAI 于 2026 年 10 月 26 日公开题为《The Exponential Time Hypothesis is False》的手稿,称给出一个确定性算法,可在多项式空间内以约 2^{n/log n} 的时间计数 k-CNF 公式的满足赋值,从而构成 3-SAT 的 2^{o(n)} 算法。Hacker News2026-10-27 20:16查看详情>>OpenAI 发布 GPT-6.1 Terra:价格减半,主打电脑操作能力OpenAI 发布 GPT-6.1 Terra,标准 API 输入 1 美元/百万 Token、缓存输入 0.05 美元/百万 Token、输出 5 美元/百万 Token,价格较 GPT-5.6 Terra 减半。量子位2026-10-27 16:27查看详情>>Anthropic 发布 Claude 发现的 3-SAT 2^o(n) 时间算法及 Lean 4 形式化Anthropic 在 GitHub 发布论文,提出一个确定性算法在 2^o(n) 时间内求解 n 个变量的 3-SAT,并称这推翻了指数时间假设(ETH);该算法实际求解更难的 #3-SAT 计数问题,时间为 2^O(n log log n / √log n)。Hacker News2026-10-27 15:48查看详情>>Anthropic 提交 S-1 拟登陆纳斯达克,H1 2026 营收 163 亿美元、Q2 运营利润 9.74 亿美元Anthropic 公开提交 S-1,计划以代码 ANT 在纳斯达克上市,2026 年上半年营收 163 亿美元、Q2 营收 116 亿美元同比增长 1368%,Q2 运营利润 9.74 亿美元。Latent Space2026-10-27 15:24查看详情>>Anthropic 论文称 Claude 模型推翻 ETH 并完成 Lean 4 形式化Anthropic 发布论文,称用一个确定性算法在 2^o(n) 时间内求解 3-SAT,从而推翻指数时间假设 ETH,该算法还能求解更难的 #3-SAT 并给出满足赋值计数。Hacker News2026-10-27 13:58查看详情>>Open3DLab 称 Roblox 爬虫未经许可下载 145.5GB 模型,含成人内容Open3DLab、SFMLab 和 SmutBase 称,2026 年 10 月 15 至 16 日一个自称属于 Roblox 的爬虫读取了 18,926 个项目页面,并从 712 个项目下载了 1,027 个文件,共 145.5GB,其中 345 个项目为成人内容。Hacker News2026-10-27 08:47查看详情>>OpenAI 公布数学、计算机科学与物理三项发现,并引入外部专家把关OpenAI 公布数学、计算机科学和物理三项“重大”发现,其中计算机科学方面称证明指数时间假设(ETH)不成立,并已在 GitHub 发布 AI 输出与 Lean 证明。此次由外部专家担任“shepherd”引导结果,物理部分尚未完整公开,将由 David Gross 等人牵头审查。OpenAI 同时发布公开信,就 AI 生成成果的早期访问、署名与验证规范征求社区意见。The Verge · AI2026-10-27 07:34查看详情>>Anthropic S-1 披露 5180 亿美元云承诺与循环 AI 资本开支Anthropic 于 2026 年 10 月 26 日向 SEC 提交 S-1 注册声明(CIK 0002130357,代码 ANT),披露 2026 年上半年营收 162.86 亿美元、GAAP 净亏损 807.48 亿美元,其中 723.88 亿美元来自可转债按市值重估的非现金损失。Hacker News2026-10-27 07:08查看详情>>
