全部科技与 AI 资讯
按时间倒序汇集的来源索引。展示关键元数据并引导直达原始报道。
Classification of Finite Simple Groups Formalized in Lean
AI 速览 有限单群分类已在Lean中形式化。
Vicious Cycles: Theses on a philosophy of news (2020)
AI 速览 《Vicious Cycles: Theses on a philosophy of news》探讨新闻哲学，剖析新闻业陷入的恶性循环及其背后的哲学命题。
Everything Rhymes with Porcelain
AI 速览 “Everything Rhymes with Porcelain”仅为标题，无实质科技资讯内容。
Amazon Is Gutting Its AI Division After Sustained Failure
AI 速览 亚马逊在AI部门持续表现不佳后对其进行大规模裁员重组。
We let our cloud agents query prod (with OIDC, not secrets)
AI 速览 允许云端代理通过OIDC（而非密钥）查询生产环境。
PHP2Shell, LiteLLM, GitLab: Find What You Need to Patch
AI 速览 PHP2Shell、LiteLLM与GitLab发布安全更新，需及时排查并修补相关漏洞。
Antique Fonts Collection – Restored 19th Century Typefaces
AI 速览 Antique Fonts Collection推出19世纪字体修复版，收录多款复刻字体。
Reducibility Among Combinatorial Problems (1972) [pdf]
AI 速览 Richard Karp于1972年发表论文《Reducibility Among Combinatorial Problems》，证明21个经典组合优化问题均为NP完全，奠定NP完全性理论的核心基础。
Firefox’s Smart Window adds AI form filling and webpage monitoring
AI 速览 Mozilla为Firefox的AI浏览体验Smart Window新增功能，可基于已打开标签页信息自动填写在线表单，例如从作品集或LinkedIn页面提取工作经历填入求职申请。
Can we trust LLMs to judge whether a research idea is novel?
AI 速览 LLM能否可靠判断研究想法的新颖性仍存疑，该问题涉及以LLM作为研究想法新颖性评判者的可信度。
Two RTX 5090 hosts sharing a KV cache over Ethernet
AI 速览 两台RTX 5090主机通过以太网共享KV缓存。
New 14‑inch MacBook Pro with M6
AI 速览 苹果推出搭载M6芯片的新款14英寸MacBook Pro。
Genie 4
AI 速览 Genie 4发布。
Major League Baseball is looking for a new kind of fan
AI 速览 MLB在10月2日分区系列赛开赛之际，通过其Instagram和TikTok主账号发布视频，展示密尔沃基酿酒人、洛杉矶道奇、芝加哥白袜等球队球员滑垒得分画面，以吸引新类型球迷。
Simple circuits can create complex behaviors
AI 速览 简单电路可产生复杂行为。
My favorite robot vacuum just got quieter, and more expensive
AI 速览 Matic推出2023年首秀以来首款新机型Matic Serene，主打降噪，最高吸力下噪音仅52分贝，价格较前代上涨。
Google’s next Genie AI model generates more realistic experiences
AI 速览 Google发布Genie 4世界模型，可生成更逼真的交互式体验，支持自然语言实时更新、音频生成，底层采用Gemini 3.8 Flash。
Data Recovery CEO Indicted for Allegedly Scamming Ransomware Victims
AI 速览 数据恢复公司CEO因涉嫌诈骗勒索软件受害者被起诉。
SoFi discloses 503,000 crypto products as gross crypto revenue hits $162 million
AI 速览 SoFi首次披露其加密产品数量达50.3万，加密业务总收入达1.62亿美元、同比增长20%，公司总净营收创纪录达13.9亿美元。
Apple’s latest AirTag is the cheapest it’s ever been
AI 速览 苹果最新AirTag在亚马逊和沃尔玛降至历史最低价23美元（优惠6美元），可用于追踪行李等物品。
Anthropic trained Claude on illegally obtained Stanford professors' books
AI 速览 Anthropic因使用斯坦福大学教授的书籍训练Claude被指非法。
Show HN: Marelleo, an open-source story box I built for my kids using ESP32
AI 速览 开发者基于ESP32打造开源儿童故事盒Marelleo，并在Show HN发布。
JetBrains IDEs are now powered by libghostty
AI 速览 JetBrains IDE现已由libghostty提供支持。
Codex 是蠢逼吗，代码都不读清楚直接一通瞎改
My video has unit tests
AI 速览 视频内容涉及单元测试主题。
Show HN: Specification First Agentic Development Plugin and Prove
AI 速览 Show HN 发布 Specification First Agentic Development Plugin and Prove，面向规格优先的智能体开发插件与验证工具。
A $300B 'Debt Wall' Is Looming over Private-Equity Backed Companies
AI 速览 约3000亿美元的债务到期高峰正逼近私募股权支持的企业。
Ripple, BNY explore using the XRP Ledger to finance approved invoices
AI 速览 BNY将XRP和RLUSD纳入其托管平台，Ripple与C2FO测试在XRP Ledger上结算发票支付。
How AI Is Changing the Pace of Discovery for Millions Living With Dementia
AI 速览 全球5700万痴呆症患者，研究人员面临数据过多、专家不足的瓶颈，生物医学研究与AI联盟正利用AI加速发现进程。