公制参数化模型

公理训练让LLM学会因果推理：6700万参数模型比肩万亿参数级GPT-4 把因果链展示给 LLM，它就能学会公理。AI 已经在帮助数学家和科学家做研究了，比如著名数学家陶哲轩就曾多次分享自己借助 GPT 等 AI 工具...