自动定理证明 - AI话题

2024-10-17

陶哲轩领衔用AI在19天完成4694条定理蕴含图99.99%证明；扩散模型被重新定义为演化算法；GNNOpt、几何图学习等方法加速材料与酶工程研发，显示AI正在重塑基础科研范式，提升发现效率一个量级。

AI快开门