#AI数学未解決問題自律解決

北京大学主導のAIフレームワークが、2014年に米国の数学者が提起した未解決問題を自律的に解決。数十年分の数学文献を統合し、人間の研究者なしで証明に成功した。数学研究の未来に何をもたらすのか。