标签: 推理

Claude将黎曼猜想的界限从41.6%推进至67.2%

Claude将黎曼猜想的界限从41.6%推进至67.2%

Jarred Sumner 让 Claude 挑战黎曼猜想,虽然未能终结猜想本身,但 Claude 在 1.5 天内将“临界线上零点占比”的已知下限从 41.6% 推进到至少 67%,并将证明在 Lean 中形式化。这展示了大模型在数学研究中连接已有成果、辅助构造证明的潜力,值得关注。

谷歌投资部门,公布了最新持仓,看看 $GOOGL 的投资眼光:👇 1. SpaceX $SPCX 最大持仓,持有$941亿,占仓位的95%! 主要看中的是星链,谷歌自己也在搞高空上网,目标就是让更多人能上网,用谷歌搜索、看YouTube、用广告,投SpaceX等于直接借力 2. 星球实验室 Planet Labs $PL 每天拍摄地球影像的卫星巨头,数据被农业、气候、国防广泛使用,谷歌需要海量真实世界数据训练AI,双方业务高度互补。…

谷歌投资部门,公布了最新持仓,看看 $GOOGL 的投资眼光:👇 1. SpaceX $SPCX 最大持仓,持有$941亿,占仓位的95%! 主要看中的是星链,谷歌自己也在搞高空上网,目标就是让更多人能上网,用谷歌搜索、看YouTube、用广告,投SpaceX等于直接借力 2. 星球实验室 Planet Labs $PL 每天拍摄地球影像的卫星巨头,数据被农业、气候、国防广泛使用,谷歌需要海量真实世界数据训练AI,双方业务高度互补。…

谷歌投资部门披露最新持仓,重仓押注卫星通信、AI基础设施和生物医药,投资逻辑更像是围绕自身业务做战略布局,而非单纯的财务投资。