标签：学术评价

AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了

数学家陶哲轩近期综合多项公开论述指出，数学领域正由证明稀缺时代迈入证明过剩阶段。人工智能大幅加速了证明生成过程，配合形式化工具的普及，致使数学论证...

AIGC动态

2小时前