我可能应该给这个标题起个更吸引眼球的名字，比如： 我们解决了AI幻觉！* * 在科学机器学习的狭义上下文中** ** 使用一堆形式验证、自动定理证明和应用范畴理论