TREE NEWS 情報： Anthropicは、AIモデルClaudeが、350年にわたる数学の問題であるフェルマーの最終定理の1300万行の証明を、人間の信頼なしにコンピュータが検証できる形式で、11日間かけて生成したと発表しました。この偉業は、AI駆動の形式数学におけるマイルストーンを示しています。
上の画像を長押し → 写真に保存 / シェア
TREE NEWS 情報： Anthropicは、AIモデルClaudeが、350年にわたる数学の問題であるフェルマーの最終定理の1300万行の証明を、人間の信頼なしにコンピュータが検証できる形式で、11日間かけて生成したと発表しました。この偉業は、AI駆動の形式数学におけるマイルストーンを示しています。