AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞
IT之家 8 月 4 日消息，科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。IT之家注：考拉兹猜想（又称奇偶归一猜想 / 3n+1 猜想）由德国数学家洛塔尔 · 考拉兹（Lothar Collatz）于 1937 年提出，是一个表述极其简单但至今未解的数学难题，断言任意正整数在经过特定规则的反复迭代后，...
News Center
AI资讯
OpenClaw updates, AI industry insights & daily curated news
📅 今日资讯
2026年10月22日 时间轴
今日暂无新资讯，查看最新列表 ↓
AI 助推独行创业者时代到来：1 个人可撑起公司 100 万美元年收入
IT之家 8 月 4 日消息，华尔街日报于 7 月 29 日发布博文，报道称在 AI 时代，一个人撑起整家公司，年收入超过 100 万美元已不再是天方夜谭，市场正迎来“独行创业者时代”。该报道援引支付服务商 Stripe 的估算数据，在 2023 年，约有 400 万美国人以个体经营为主要收入来源，年销售额超过 10 万美元，比 2010 年代初符合相同条件的人数（约 200 万）几乎翻了一番。报...
AI 加速了科学，也在掏空大学
科学家没有离开科学，科学正在离开大学#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
早报｜29.99万,小米澎程N90 Max综合续航1705km/苹果iPhone、Mac收入创新高/高通确认9月起芯片涨价
· OpenAI 将向 10 万名学术研究者免费提供 GPT-5.6 Sol Pro · 荣耀 A 股 IPO 辅导进入第四期 · 特斯拉第 1000 万辆纯电动车下线#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
实测 DeepSeek V4 正式版：3 块钱干完 5 件事，AI「智价比」之战开打了
顶级模型的竞争，正在从单纯比拼能力上限，转向同时争夺「智价比」。#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
马斯克要用 AI 打造《奥德赛》电影，我用小云雀 Seedance 2.5 提前实现了
导演 AI，正在成为新的创作能力#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
早报｜MacBook Air严重缺货/OpenAI新模型突破10项菲尔兹奖级难题/微信地震预警能力迎来更新
· MacBook Air 严重缺货，许多新订单延至 9 月交付 · 曾爱玲加入 B 站，负责 AI 视频生成业务 · Pixel 11 全系规格与售价曝光#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
DeepSeek 给大模型划出的「斩杀线」，斩的到底是什么
斩掉了大量缺乏明确不可替代性的中间模型#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
机器人刷一段「短视频」，就能学会新技能？自变量 HOST 技术「神器」来了
机器人学习做家务，进入「刷短视频」时代#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
AI 改变打工人之后，千问办公盯上了企业 Agent 化
办公 Agent ，怎么提升企业组织的办公效率#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
实测千问办公：阿里这个 AI 专家，真的能帮你带货
Agent 应用接下来比的，或许不只是模型有多聪明。#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......
早报｜曝三星中国收缩手机布局/EA 550亿美元收购获批/京东外卖推出AI智能头盔
· 比特币硬件钱包 Coldcard 存在漏洞，约 1.1 亿美元被盗 · 中国信通院：2025 年我国人工智能产业规模超过 1.2 万亿元 · 下一代视频编码标准 H.267 启动提案征集，计划 2029 年完成#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。......