News & Views

人工知能：数学界によるAlphaProofの検証

Nature 651, 8106 doi: 10.1038/d41586-025-03585-5

数学者が定理の証明に用いる計算ツールを使うよう訓練された人工知能（AI）モデルは、数学的発見を加速させるかもしれない。

Full Text
PDF

目次へ戻る

COVID-19特別翻訳記事

ネイチャーの人気コンテンツ

  1. 光変換可能な添加剤によるペロブスカイト–有機タンデム太陽電池の高効率化
  2. 多機能のβアレスチンを選択的に阻害する
  3. 金属配位構造から酵素を発見
  4. エピゲノム多様性による白血病の新たな分類法
  5. 腸幹細胞は分裂回数を数えて娘細胞の運命を決める
  6. HIF-2を阻害するカスダチファンの臨床試験結果
  7. 広域中和HIV抗体を誘導するワクチン開発戦略
  8. 広域中和HIV抗体を誘導できるワクチン設計
  9. 慢性ウイルスはCOVID-19によって再活性化する
  10. 競合するプログラムが脳を形作る
advertisement
プライバシーマーク制度