更不可思议的是，虽然全人类没有任何一个医学家、化学家知道这个配方为什么有效，但AI的推演过程不仅在交互式定理证明工具Lean中得到了无懈可击的形式化验证，甚至在现实世界中，这副药剂也硬生生通过了极其严格的F…...
