logo logo
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
  • 首页
  • 人工智能
  • 生活
  • 科技
  • 行业分析
  • 财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
  1. 首页
  2. 标签
  3. 费马大定理
Claude 形式化费马大定理:1300万行 Lean 代码背后的 AI 协作实验

人工智能 Claude 形式化费马大定理:1300万行 Lean 代码背后的 AI 协作实验

Anthropic 称 Claude 完成费马大定理端到端形式化证明,Lean 可完整检查,项目展现多 Agent 在数学形式化中的潜力。

67次阅读 0个评论
人工智能 2026-09-05
2026天猫双11开跑:AI让服饰转化率提升近20%,AI电商元年来了吗?

2026天猫双11开跑:AI让服饰转化率提升近20%,AI电商元年来了吗?

2026天猫双11已启动,价格不再是唯一看点。超级旗舰、AI品质转译、AI趋势雷达密集落地,经AI打标的服饰商品下单转化率提升近20个百分点,平台与品牌正从唯GMV转向有利润的增长。
饭山 PC 发布锐龙 AI 7 450 迷你主机:指纹识别、SD 读卡器与双网口齐上阵

饭山 PC 发布锐龙 AI 7 450 迷你主机:指纹识别、SD 读卡器与双网口齐上阵

日本 Unitcom 推出 iiyama PC 品牌迷你主机,搭载 AMD 锐龙 AI 7 450,顶部电源键集成指纹识别,正面带 SD 读卡器,标配 8GB+500GB,售价约 7194 元。
实测 Muse 与 Dot:让海外 Agent 处理中国互联网任务,谁更靠谱

实测 Muse 与 Dot:让海外 Agent 处理中国互联网任务,谁更靠谱

把日程、邮箱、比价、发帖交给两个海外个人 Agent,结果并不平均。Muse 在手机端日常事务上更顺手,Dot 在复杂交付型任务中更稳,但登录、验证码与小屏接管仍是共同短板。
清华开源智能体操作系统PilotDeck 2.0:任务成本降八成,AI记忆可查可改

清华开源智能体操作系统PilotDeck 2.0:任务成本降八成,AI记忆可查可改

清华THUNLP联合面壁智能、OpenBMB开源PilotDeck 2.0,用工作舱隔离项目、把Agent记忆做成白盒,并通过智能路由把复杂任务成本压到顶配模型的约六分之一。
小红书AI部门半年三调:搜索、广告与创作者生意进入重算期

小红书AI部门半年三调:搜索、广告与创作者生意进入重算期

小红书在半年内多次调整AI组织,Dots与Infra打通,AI问答月活超1亿。搜索、广告和创作者流量分配面临新变化。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

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