logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. 形式化验证
陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?

人工智能 陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?

OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。

9次阅读 0个评论
人工智能 近一天内
谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题

人工智能 谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题

谷歌 DeepMind 新框架 AlphaProof Nexus 将大模型证明生成与 Lean 验证结合,在开放数学问题上取得新进展。

126次阅读 0个评论
人工智能 2026-05-26
百度Q3反腐通报:41人被追责,外包人员与实习生同样在列

百度Q3反腐通报:41人被追责,外包人员与实习生同样在列

百度职业道德委员会于10月9日向全员下发2026年Q3违法违纪通报,一次性公布41起案件处理结果,涉及正式员工、外包人员和实习生,问题集中在谋取不当经济利益与弄虚作假两类。
46999 元起,极摩客 EVO-X5 Pro 迷你 AI 工作站正式开售

46999 元起,极摩客 EVO-X5 Pro 迷你 AI 工作站正式开售

极摩客 EVO-X5 Pro 桌面迷你 AI 工作站开售,搭载 AMD 锐龙 AI Max+ PRO 495 与 192GB 内存,官方称可本地运行 320B 大模型,起售价 46999 元。
特斯拉供应商集体“造人”:均胜、拓普、三花抢跑人形机器人量产前夜

特斯拉供应商集体“造人”:均胜、拓普、三花抢跑人形机器人量产前夜

特斯拉机器人团队在宁波审厂,均胜电子、拓普集团、三花智控等汽车供应商被曝已拿到人形机器人订单。从汽车零部件到机器人部件,供应链重合度约六成,但真正的考验是从“能用”走向“持续好用”。
腾讯阿里字节DeepSeek密集融资:借来的时间,最终要由AI订单偿还

腾讯阿里字节DeepSeek密集融资:借来的时间,最终要由AI订单偿还

腾讯被曝拟发最高50亿美元离岸债券,阿里配售800亿港元、字节签下296亿美元银团贷款、DeepSeek新一轮融资或近千亿。不缺钱的公司为何排队借钱?四笔合计约560亿美元,买下的是时间与产能。
孙正义再掀AI豪赌:软银被曝寻求向海湾投资者募资至多1000亿美元

孙正义再掀AI豪赌:软银被曝寻求向海湾投资者募资至多1000亿美元

据外媒报道,软银创始人孙正义正寻求向海湾地区投资者募资至多1000亿美元,用于扩大AI投资。新资金拟设立基金,先收购企业再以AI改造经营,Roze或扮演关键角色,而OpenAI推迟IPO与软银股价回撤也让外界关注其投资敞口。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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