最新资讯 - 养龙虾

News 2026-08-04 07:00

AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞

IT之家 8 月 4 日消息，科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。IT之家注：考拉兹猜想（又称奇偶归一猜想 / 3n+1 猜想）由德国数学家洛塔尔 · 考拉兹（Lothar Collatz）于 1937 年提出，是一个表述极其简单但至今未解的数学难题，断言任意正整数在经过特定规则的反复迭代后，...

0 阅读全文 →

News 2026-08-04 07:00

AI 助推独行创业者时代到来：1 个人可撑起公司 100 万美元年收入

IT之家 8 月 4 日消息，华尔街日报于 7 月 29 日发布博文，报道称在 AI 时代，一个人撑起整家公司，年收入超过 100 万美元已不再是天方夜谭，市场正迎来“独行创业者时代”。该报道援引支付服务商 Stripe 的估算数据，在 2023 年，约有 400 万美国人以个体经营为主要收入来源，年销售额超过 10 万美元，比 2010 年代初符合相同条件的人数（约 200 万）几乎翻了一番。报...

0 阅读全文 →

News 2026-08-04 07:00

Cloudflare 推出新开源库，为每个 AI 智能体配备独立工作计算机

IT之家 8 月 4 日消息，Cloudflare 昨日（8 月 3 日）发布博文，宣布以早期预览版形式，推出 @cloudflare/computer 开源库，为每个 AI 智能体独立分配虚拟工作计算机，并包含文件系统与命令执行能力。官方指出有别于传统文本方式的聊天 AI，编程类 AI 智能体需要反复读取源代码、改写文件、运行测试、审查结果并继续修正，因此需要保存处理中文件的工作区，也需要运行程...

0 阅读全文 →

📰

News 2026-08-04 07:00

华为 WATCH GT 7 系列智能手表官宣明日发布，Pro / 标准版外观揭晓

IT之家 8 月 4 日消息，华为官方今日宣布，全新 WATCH GT 7 系列智能手表将在 8 月 5 日的尊界时代旗舰 MPV 及华为全场景新品发布会上登场。官方还揭晓了系列手表 Pro / 标准版的外观。华为官方还放出了华为 WATCH GT 7 Pro 的宣传视频，新表拥有绿、黄、黑三款“自然配色”。另外，华为 WATCH GT 7 Pro 还采用钛合金 & 纳米微晶陶瓷设计，支持...

0 阅读全文 →

News 2026-08-04 07:00

苹果向法院申请临时禁令，阻止 OpenAI 使用、披露其机密信息

IT之家 8 月 4 日消息，苹果当地时间周一向美国法院申请初步禁令，要求禁止两名前员工以及 OpenAI 获取、访问、使用或披露涉嫌属于苹果的机密信息。与此同时，苹果正推进其商业机密侵权诉讼。据IT之家了解，苹果上个月起诉了 OpenAI 以及目前已加入 OpenAI 工作的两名前员工，指控他们盗用苹果商业机密，以帮助 OpenAI 推进消费级硬件业务。这起诉讼标志着两家公司之间持续已久的紧张关...

0 阅读全文 →