标签： AI安全

AI趋势

AI行业周报（8月10日—8月16日）

本周概览 Anthropic Claude在黎曼猜想上取得历史性突破，将满足条件的零点下界从41.6%提升至67.2%，经Lean形式化验证，标志着AI开始在纯数学领域做出实质性贡献。...