AI快开门
发现最好的AI工具
首页
分类
模型
模型历史
模型排名
模型价格
话题
简报
搜索
← 返回话题列表
#
自动定理
相关话题
2024-10-17
AI for Science与数学突破
陶哲轩领衔用AI在19天完成4694条定理蕴含图99.99%证明；扩散模型被重新定义为演化算法；GNNOpt、几何图学习等方法加速材料与酶工程研发，显示AI正在重塑基础科研范式，提升发现效率一个量级。
AI4Science
自动定理证明
材料发现
扩散模型
2024-07-21
数学AI与竞赛生态
中国队IMO五连冠被美终结，陶哲轩为AI数学挑战团队颁奖并倡议打造“数学ImageNet”，预示AI在定理证明、自动解题等方向将复制ImageNet式突破，数学或成AI下一个竞技与数据高地。
IMO
数学AI
陶哲轩
ImageNet
自动定理