AIが数十年にわたるエルデシュの数学問題を解く、機械推論の新たなマイルストーンに
人工知能システムが、伝説的な数学者ポール・エルデシュが提起した数十年にわたる数学問題を解くことに成功し、機械推論と自動定理証明における新たなマイルストーンを打ち立てた。この成果は、数学的発見におけるAIの可能性を示す画期的な成果として注目されている。
最新記事: 科学
人工知能システムが、伝説的な数学者ポール・エルデシュが提起した数十年にわたる数学問題を解くことに成功し、機械推論と自動定理証明における新たなマイルストーンを打ち立てた。この成果は、数学的発見におけるAIの可能性を示す画期的な成果として注目されている。
科学誌『Science』に発表された新たな研究で、深海熱水噴出孔の鉄・ニッケル鉱物が生命に必須の有機分子を生成できることが実証された。
人工知能システムが、伝説的な数学者ポール・エルデシュに関連する長年の数学問題を解決することに成功したと研究者らが報告した。この成果は、AIの自動推論能力の進歩を示している。
AIモデルがハンガリーの数学者ポール・エルデシュが提起した80年来の幾何学問題を解決した。これはAIによる最大の数学的ブレークスルーとされ、人間の数学者は想像もしなかった複雑な点の配置を発見した。
NASAは11日、アルテミスIIIミッションの4人乗組員を発表。司令官ランディ・ブレスニク、ESA宇宙飛行士ルカ・パルミターノ(パイロット)、ミッションスペシャリストのフランク・ルビオとアンドレ・ダグラス。
ジェイムズ・ウェッブ宇宙望遠鏡が恒星間彗星3I/ATLASでメタンを直接検出した。これは太陽系外から来た天体でこの分子が発見された初めての事例である。メタンと水の比率は...
NASAは、2025年12月に探査機との交信を失った後、火星探査機MAVENの死亡を宣言した。この5億8200万ドルの探査機は、11年間にわたって火星の大気と太陽風がどのように大気を剥ぎ取ったかを研究してきた。