logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. AI数学
OpenAI“攻破”Connes刚性猜想遭质疑:数学家称反例未满足前提

人工智能 OpenAI“攻破”Connes刚性猜想遭质疑:数学家称反例未满足前提

OpenAI称新模型推翻Connes刚性猜想后,数学家很快提出反驳:形式化证明或许正确,但对象可能已偏离原猜想。

65次阅读 0个评论
人工智能 2026-08-05
陶哲轩12年前的预言,如今AI帮他兑现了

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

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

119次阅读 0个评论
人工智能 2026-06-21
谷歌推出“AI联合数学家”:刷新高难数学基准,并参与破解群论难题

人工智能 谷歌推出“AI联合数学家”:刷新高难数学基准,并参与破解群论难题

谷歌DeepMind发布AI Co-Mathematician,定位为面向数学研究的人机协作系统,在FrontierMath Tier 4取得48%成绩。

76次阅读 0个评论
人工智能 2026-05-09
HBO Max 官方 Reddit 账号被入侵,Mac 用户遭 ClickFix 钓鱼攻击

HBO Max 官方 Reddit 账号被入侵,Mac 用户遭 ClickFix 钓鱼攻击

黑客入侵 HBO Max 官方 Reddit 账号并投放恶意广告,诱导 Mac 用户将恶意命令粘贴至终端执行,安全公司追踪到名为 PasteSwitch 的木马分发系统。
对话徐直军:被低估的灵衢,正在重新定义AI算力竞争

对话徐直军:被低估的灵衢,正在重新定义AI算力竞争

华为轮值董事长徐直军指出,灵衢互联协议被外界低估,它才是让数万颗芯片协同工作的关键。本文梳理灵衢的技术逻辑、NPO路线选择及其对AI算力格局的影响。
黄仁勋驳斥AI末日论:吓唬人不负责任,不应成为逃避法律约束的借口

黄仁勋驳斥AI末日论:吓唬人不负责任,不应成为逃避法律约束的借口

英伟达CEO黄仁勋接受采访时明确反对AI末日叙事,称2030年世界末日概率为零。他认为现有法律已足够监管AI,末日论调可能被用来摆脱现有法律约束。
广汽埃安 Ray7 运动内饰发布:一体式座椅支持一键零重力

广汽埃安 Ray7 运动内饰发布:一体式座椅支持一键零重力

广汽埃安 Ray7 运动内饰正式亮相,一体式运动座椅支持一键零重力与加热通风按摩,搭载高通 8295 芯片和华为电驱方案,先享计划已开启。
阿里定调AI基础设施长期战略:2032年阿里云全球数据中心规模瞄准20GW

阿里定调AI基础设施长期战略:2032年阿里云全球数据中心规模瞄准20GW

2026云栖大会上,阿里CEO吴泳铭宣布全力投入AI基础设施建设,目标到2032年阿里云全球数据中心规模超20GW,并计划训练5万亿至10万亿参数级大模型。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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