AI资讯
陶哲轩发文提出「数学2.0」：AI让证明从稀缺走向泛滥，呼吁建立透明评估机制
菲尔兹奖得主陶哲轩发文提出「数学2.0」概念，认为建立在证明稀缺之上的数学1.0时代即将落幕。他指出，在有足够算力和前沿模型的前提下，人们已能在较短时间内获得许多此前被认为很难的开放问题的解答，但判断解答是否正确、贡献多大、如何与已有研…
标签
标签： SAIR
共 1 篇资讯
标签
共 1 篇资讯
菲尔兹奖得主陶哲轩发文提出「数学2.0」概念，认为建立在证明稀缺之上的数学1.0时代即将落幕。他指出，在有足够算力和前沿模型的前提下，人们已能在较短时间内获得许多此前被认为很难的开放问题的解答，但判断解答是否正确、贡献多大、如何与已有研…