Amazon Science·AI 评分57
Amazon 宣布对 Lean Focused Research Organization 的最大规模长期捐赠
Amazon is investing in the Lean Focused Research Organization
AI 导读
Amazon 宣布向开发 Lean 语言的研究组织 Lean FRO 提供大额长期资金支持，这是 FRO 历史上最大的一笔捐赠，目标是让正确性证明惠及全球开发者。
来源：Amazon Science · amazon.science