Google DeepMindは2026年5月21日、AIを用いた形式証明探索システム「AlphaProof Nexus」に関する論文を公開した。大規模言語モデルと定理証明支援系を組み合わせ、長年未解決だったエルデシュ問題9件を自律的に解決した。整数の解剖学とマルコフ過程理論という異なる抽象領域を結合させるなど、人間が長年見落としていたクリエイティブな解法を自律的に提示し、テレンス・タオをはじめと ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する