华院计算团队借助AI完成代数基本定理证明

发生了什么

据科技日报·要闻滚动报道，华院计算技术（上海）股份有限公司张亮博士、宣晓华博士借助人工智能辅助，完成了代数基本定理基于有理数框架下的构造性初等证明。研究利用有限多边形环绕数等工具，全程仅用有限运算，AI充当逻辑校验工具防止推理滑向实数范畴。该预印本已公开，回应了国际数学界对不依赖实数与无限集证明路径的呼吁。