AI2 Allen AI 读论文自动推导科学定律

Theorizer 的人工智能系统，其核心功能是通过阅读海量科学文献自动生成科学理论。该系统超越了传统的实验自动化，旨在通过识别研究中的一致性规律，将其转化为由定律、适用范围和证据构成的结构化理论。研究表明，基于文献支持生成的理论在精确性、预测能力和独创性方面显著优于仅依靠模型固有知识生成的成果。开发团队还发布了一个包含约 3,000 条人工智能领域理论的数据集，并建立了一套回溯测试框架来验证其预测的准确性。这一工具能协助科学家在几分钟内梳理新领域，将零散的发现压缩为简洁、可测试的科学法则。通过这种方式，Theorizer 朝着实现科学发现全流程自动化的目标迈出了关键一步。