真的，而且不止一个。谷歌DeepMind的AlphaProof Nexus系统一口气搞定了353个埃尔德什提出的数论公开问题中的9个，包括1970年就没人能动的那两个难题。最离谱的是，每个问题的解决成本才几百美元，而且所有证明都公开了。更早几天，谷歌的AI Co-Mathematician系统还帮牛津大学教授破了一个群论圈子里搁置几十年的《Kourovka Notebook》第21.10号问题。现在看来，用AI当数学研究的副驾驶，已经不只是纸上谈兵了。
真的，而且不止一个。谷歌DeepMind的AlphaProof Nexus系统一口气搞定了353个埃尔德什提出的数论公开问题中的9个，包括1970年就没人能动的那两个难题。最离谱的是，每个问题的解决成本才几百美元，而且所有证明都公开了。更早几天，谷歌的AI Co-Mathematician系统还帮牛津大学教授破了一个群论圈子里搁置几十年的《Kourovka Notebook》第21.10号问题。现在看来，用AI当数学研究的副驾驶，已经不只是纸上谈兵了。