形式化验证

数学界最负盛名的“悬赏榜单”正在被人工智能悄然改写。最新行业动态指出，在过去一段时间内，一系列长期悬而未决的埃尔德什问题（Erdős problems）被标记为“已解决”，而其中超过七成的解决方案背后...