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

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

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

189次阅读 0个评论
人工智能 2026-06-21
安森美2026财年前三季净利5.07亿美元,同比扭亏为盈

安森美2026财年前三季净利5.07亿美元,同比扭亏为盈

安森美公布2026财年前三季及第三财季业绩:前三季营收48.39亿美元,归母净利润5.07亿美元实现扭亏;第三财季毛利率升至41.4%,单季净利环比增长38.4%。
匈牙利法院终审驳回诉讼,宁德时代欧洲最大电池工厂扫清法律障碍

匈牙利法院终审驳回诉讼,宁德时代欧洲最大电池工厂扫清法律障碍

德布勒森法院终审驳回针对宁德时代工厂环境许可的诉讼,许可程序被认定合法。随着法律风险出清,这座规划100GWh的工厂将转入产能爬坡与客户交付阶段。
巴西两律师用白底白字操纵法院AI,被罚1.6万美元

巴西两律师用白底白字操纵法院AI,被罚1.6万美元

巴西劳工法院发现两名律师在起诉状中用白底白字嵌入提示词注入指令,试图让法院AI忽略质疑。法院认定该行为有损司法尊严,处以约1.6万美元罚款,并通报律师协会。
Anthropic 三季度营收近 170 亿美元同比增约 11 倍,IPO 冲刺“史上最大”

Anthropic 三季度营收近 170 亿美元同比增约 11 倍,IPO 冲刺“史上最大”

Anthropic 披露三季度营收接近 170 亿美元,同比增长约 11 倍,净亏损扩大至 233 亿美元。公司已递交 IPO 申请,目标募资额力争比肩甚至超过 SpaceX 纪录,但投行反馈的估值区间已有所下调。
千问进入iPhone与Siri:阿里真正买到了什么

千问进入iPhone与Siri:阿里真正买到了什么

苹果国行AI落地,千问以可选扩展进入Siri等系统功能。市场盯着入口和Token收入,但阿里更在意的,可能是交易应用在系统级Agent时代被放行的资格。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态

归档

  • 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