このページの本文へ

自動推論で「コラッツの予想」の証明に挑戦=CMU研究チーム

2021年07月06日 17時02分更新

文● Siobhan Roberts

  • お気に入り
  • 本文印刷

カーネギーメロン大学の研究チームは、自動推論の手法を用いて、未だかつて誰も成し得ていない「コラッツの予想」の証明に取り組んだ。証明は成功しなかったものの、自動推論手法の可能性を実証するという点では「尊い失敗」だった。

カテゴリートップへ

  • 角川アスキー総合研究所
  • アスキーカード

MSIが変える、未来のクリエイターを育てる教育環境

アスキー・ビジネスセレクション

ピックアップ