Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
通过AI-Noether的反向推理弥合AI系统推导的科学定律与经典知识之间的鸿沟
机构 * University of Wisconsin-Madison(威斯康星大学麦迪逊分校) ; IBM Research Madison, WI(IBM马歇尔实验室) ; IBM Research Yorktown Heights, NY(IBM尤里卡高地实验室) ; Imperial Business School(帝国商业学院) ; Samsung AI Cambridge, UK(三星AI剑桥实验室)
AI总结 本文提出基于代数几何的开源系统,通过反向推理生成候选公理以弥补AI系统推导的科学定律与经典知识之间的差距。
Comments 47 Pages (20+appendix), 14 Figures, Preprint: Updated for recent submission