英伟达点名杭州团队，AIforScience闭环解决方案获认可
近日，英伟达点名杭州一家AI蛋白质设计公司力文所（Lévin™ Harness），称其产品解决了AI for Science领域从想法到结果的「最后一公里」问题...
#AI for Science
共 4 篇相关文章
AI科学需推理非仅数据，Agent原生研究Artifact开启新范式
近年来，人工智能在科学研究领域的应用引发了广泛关注。2024年，Google DeepMind凭借其开发的AlphaFold模型获得诺贝尔化学奖，该模型通过学习...
美国白宫发布“科学，新的黄金时代”报告，科技战略转向个体科学家
在美利坚合众国建国二百五十周年之际，美国白宫科技政策办公室发布了题为《科学：新的黄金时代》的重磅报告，这份长达百页的文件标志着美国科技战略进入了一个全新的阶段。...
1. AlgoVeri: 经典算法形式化验证代码生成的对齐基准
7月7日，备受瞩目的国际机器学习大会（ICML 2026）在韩国首尔COEX会展中心盛大开幕。作为全球机器学习领域的风向标，本届大会吸引了来自世界各地的顶尖学者...
