谷歌AlphaProof攻克國際奧賽數學題 數學家會不會被淘汰? 谷歌DeepMind發布消息稱,它所开發的AI系統AlphaProof和AlphaGeometry2在數學上取得突破,解答了今年國際...