先了解这件事
AI 综述
2026年10月6日,Hark正式全面发布隐私导向的AI个人助理Hark Pro。据TechCrunch AI报道,Hark由连续创业者Brett Adcock创立,成立不到一年。Hark Pro可免费使用,并提供面向重度用户的订阅档。该产品基于专门为电脑操作训练的模型,能接入邮件、日历、硬盘、信用卡等数字生活并代为执行任务,还会在小窗口中展示智能体浏览网页的过程以建立信任。Hark计划在2027年推出配套的AI原生设备。目前尚无后续发展事实。
AI 根据公开报道生成
最新进展 · 正式报道
OpenAI 发布 722 篇数学论文，称推进多个公开难题事件进展
1 个已确认进展
- 来源：TechCrunch AI
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月7日
The Rundown AI
OpenAI 发布 722 篇数学论文，称推进多个公开难题
OpenAI 从未公开的内部模型一次性发布 722 篇数学论文，归入 372 个结果族，声称解决或推进了该领域的重要公开问题。其中最激进的说法是证明了“准黎曼假设”，即素数分布这一百万美元难题的弱化版本；其中 162 篇论文的主要结果用 Lean 编写，可由计算机逐步验证。OpenAI 表示几乎所有新结果只需一次提示词，平均消耗 3 小时 ChatGPT Pro 算力，而上月的 Navier–Stokes 证明动用了 1 万个 AI 智能体。
TechCrunch AI
Hark 发布主打隐私的 AI 个人助理 Hark Pro
由连续创业者 Brett Adcock 创立不到一年的 Hark 正式发布 AI 个人助理 Hark Pro，可免费使用并提供面向重度用户的订阅档。该产品基于专门为电脑操作训练的模型，能接入邮件、日历、硬盘、信用卡等数字生活并代为执行任务，还会在小窗口中展示智能体浏览网页的过程以建立信任。Hark 计划在 2027 年推出配套的 AI 原生设备。