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

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

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

189次阅读 0个评论
人工智能 2026-06-21
AI编程助手的新悖论:越聪明,越不该急着秒回

AI编程助手的新悖论:越聪明,越不该急着秒回

DeepSeek Harness团队提出Super-agent研究原型,将代码智能体拆为调度层与执行层,用权限工单、隔离工作区和消息过滤减少打扰,让AI编程从聊天框走向后台静默交付。
西门子九赴进博会:工业AI从展台走向产线

西门子九赴进博会:工业AI从展台走向产线

第九届进博会上,西门子第九次参展,集中展示工业AI、数据中心、人形机器人等场景应用,并带来40余家企业转型案例与绿色出海新议题。
腾讯被曝将推C端AI搜索引擎:极简设计,强化权威信源排序

腾讯被曝将推C端AI搜索引擎:极简设计,强化权威信源排序

消息称腾讯即将发布面向C端用户的AI搜索引擎,界面极简且全面AI化,把AI问答与网页搜索融合在同一体验中,并与元宝App搜索、腾讯云API共享底层能力。腾讯官方暂未回应。
AI数据库扎堆发布,真正的升级是让数据资产“可读、可用、可控”

AI数据库扎堆发布,真正的升级是让数据资产“可读、可用、可控”

AI数据库密集发布,表面是功能竞赛,实质是数据库产业从替代走向数据资产经济题:让企业沉淀的数据被读懂、用起来,同时守住安全底线。
影驰金属大师T8双塔风冷散热器上架:229元,中置风扇采用滑槽固定

影驰金属大师T8双塔风冷散热器上架:229元,中置风扇采用滑槽固定

影驰金属大师T8双塔风冷散热器已在京东上架,定价229元,提供1年质保。产品采用六根6mm热管、HDT直触底座和双120mm HDB风扇,中置风扇为滑槽式固定,支持英特尔与AMD双平台。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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