有名数学者が残した未解決問題9問をGoogleのAIが証明、科学誌Scienceが論文を掲載
Google DeepMindの数学AI「AlphaProof Nexus」の論文が10月8日、科学誌Scienceに載った。数学者エルデシュが残した未解決問題353問のうち9問を、1問数百ドルの計算費用で証明した。
出典：Google DeepMind ほか（arXiv）・Science・Google DeepMind（GitHub）
#AlphaProof Nexus
AlphaProof Nexusに関する海外の最新ニュース1本を日本語でまとめています。公式発表・論文・海外メディアの報道をもとに、ビジネスへの影響まで解説します。