AI 已能证明知名数学难题，开放式科学问题成下一关

AI 已能证明表述完备且有大量既有工作可依托的知名数学难题，下一关是开放式科学问题。能否调和广义相对论与量子力学成为示例，但现阶段瓶颈更多在实验侧，而非理论推导。