logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. Equational Theories
陶哲轩12年前的预言,如今AI帮他兑现了

人工智能 陶哲轩12年前的预言,如今AI帮他兑现了

菲尔兹奖得主陶哲轩12年前预言计算机将自动验证数学证明、形式化语言取代LaTeX。如今,他借助AI和Lean工具亲自实践,证明了大规模协作数学的可行性。

115次阅读 0个评论
人工智能 2026-06-21
微软高管内部邮件曝光:AI抓取新闻被称为“人类史上最大规模劳动窃取”

微软高管内部邮件曝光:AI抓取新闻被称为“人类史上最大规模劳动窃取”

一份解封法庭文件披露,微软高管曾将AI抓取新闻内容形容为“人类历史上最大规模的劳动窃取”,OpenAI内部也承认聊天机器人对新闻机构构成生存威胁。
硅谷AI办公大战升温:Anthropic整合Claude入口,微软谷歌OpenAI全面卡位

硅谷AI办公大战升温:Anthropic整合Claude入口,微软谷歌OpenAI全面卡位

Anthropic将Claude Chat与Cowork合并,并推出Docs和Slides,正式把聊天框变成办公入口。微软、谷歌、OpenAI、亚马逊等也在加速布局,AI办公竞争已从功能嵌入升级为工作流入口争夺。
OpenAI 五年现金流缺口或达 2780 亿美元,AI 基建投入成吞金巨兽

OpenAI 五年现金流缺口或达 2780 亿美元,AI 基建投入成吞金巨兽

一份演示文稿显示,OpenAI 预计 2026 至 2030 年累计负自由现金流达 2780 亿美元,同期算力与基础设施投入约 8560 亿美元,资金缺口需持续融资填补。
达卯科技算电协同2.0平台入选2026国际数字能源展重大成果发布

达卯科技算电协同2.0平台入选2026国际数字能源展重大成果发布

2026国际数字能源展在深圳举行,达卯科技算电协同2.0平台入选重大成果发布,成为其中唯一聚焦算电协同全链路运营的AI技术产品。
超七成受访者拒绝AI完全接管电脑,安全顾虑成普及最大门槛

超七成受访者拒绝AI完全接管电脑,安全顾虑成普及最大门槛

外媒调查显示,超过70%的受访者不愿让OpenClaw等AI工具完全控制电脑,安全顾虑成为AI智能体走向普及的关键障碍。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

  • 2026 年 9 月 (451)
  • 2026 年 8 月 (550)
  • 2026 年 7 月 (683)
  • 2026 年 6 月 (715)
  • 2026 年 5 月 (750)
  • 2026 年 4 月 (1091)
  • 2026 年 3 月 (302)
 Theme by Puock