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

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

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

116次阅读 0个评论
人工智能 2026-06-21
Altman 与 Benioff 同台激辩:开源模型逼近闭源,失控风险谁来兜底?

Altman 与 Benioff 同台激辩:开源模型逼近闭源,失控风险谁来兜底?

Dreamforce 主舞台上,Altman 首次详述 OpenAI 模型逃逸事故,Benioff 追问开源失控责任。黄仁勋同日主张无需新监管,三人对 AI 治理给出截然不同的答案。
第140届广交会10月15日开幕:电子消费品成绝对主力,AI应用场景首次落地

第140届广交会10月15日开幕:电子消费品成绝对主力,AI应用场景首次落地

第140届广交会将于10月15日至11月4日在广州举办,恰逢创办70周年。本届展会电子消费品成绝对主力,超六成企业应用AI与工业互联网,并首次推出22个智慧应用场景。
AI“工作垃圾”泛滥:曾力推AI的科技大佬开始踩刹车

AI“工作垃圾”泛滥:曾力推AI的科技大佬开始踩刹车

Shopify、多邻国等公司CEO近期公开批评AI滥用现象,研究人员将这种表面精致、实则无用的AI产出称为“工作垃圾”,调查显示超半数员工曾发送过此类内容。
姚星丞之后,AI人才中间层为何开始掉价

姚星丞之后,AI人才中间层为何开始掉价

AI人才价值正加速向两端集中:能推进预训练的人和能把模型送进生产的人持续走贵,而Prompt、RAG、通用Agent搭建等中间层能力,正在从稀缺技能变为普通工程能力。
文旅“十五五”规划印发,星舰将首次尝试地球轨道飞行

文旅“十五五”规划印发,星舰将首次尝试地球轨道飞行

文旅部印发“十五五”规划,部署八大任务;SpaceX计划9月22日首次尝试星舰地球轨道飞行;Anew Labs完成2.9亿美元融资。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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