AI快开门
发现最好的AI工具
首页
分类
模型
模型历史
模型排名
模型价格
话题
简报
搜索
← 返回话题列表
#
CGFlow
相关话题
2025-06-07
数学与科学AI新工具
腾讯AI Lab与上海交大推出12.1万高难度数学题数据集，训练7B模型定理证明性能媲美Claude3.7；ICML 2025入选的CGFlow实现分子与合成路径协同设计，为AI驱动数学研究与新药发现提供强力工具。
数学AI
定理证明
CGFlow
分子设计
AI4Science