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

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

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

116次阅读 0个评论
人工智能 2026-06-21
加州州长签署行政令:要求专家组建立 AI“紧急停止”机制

加州州长签署行政令:要求专家组建立 AI“紧急停止”机制

加州州长纽森签署行政令,要求专家组在两个月内提出 AI 安全方案,研究“紧急停止开关”与第三方安全审计,并批评联邦政府长期缺位。
Anthropic的AI安全牌:是技术伦理,还是商业护城河?

Anthropic的AI安全牌:是技术伦理,还是商业护城河?

半年内三次指控中国AI公司蒸馏、拒绝签署开源公开信、冲刺IPO前呼吁行业减速。Anthropic的“安全”叙事,正在变成一门精准的商业生意。
无问芯穹与华环电子签约 共探国产异构算力AI基础设施

无问芯穹与华环电子签约 共探国产异构算力AI基础设施

无问芯穹与华环电子签署战略合作框架协议,双方将围绕国产异构算力、智算中心方案与Token工厂模式展开协同,探索算网融合新路径。
OpenAI被曝逼近霍奇猜想:一个月内或连破两道千禧年难题

OpenAI被曝逼近霍奇猜想:一个月内或连破两道千禧年难题

有消息称OpenAI已接近攻克霍奇猜想,若属实,这将是其一个月内第二次触及千禧年大奖难题。此前纳维-斯托克斯问题的解法已引发数学界热议。
古特雷斯再谈AI安全:世界承受不起一场恶性竞争

古特雷斯再谈AI安全:世界承受不起一场恶性竞争

联合国秘书长古特雷斯在联大高级别周前夕呼吁各国共同推进AI监管,强调AI风险不设国界,世界承受不起AI安全领域的恶性竞争,并将在联大发言中谈及AI安全边界。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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