LEBRON
LEBRON 是一个专为粒子物理电弱相变计算设计的 AI Agent 框架,包含 Toolbox Construction 和 Explorer 两大模块,集成多模型审计机制,用于自动化推导数学公式与数值计算。
时间轴 (近 90 天)
LEBRON 是 Isaac Wang 搭建的 AI Agent 框架,全称为 Learning Electro-Weak Phase Transition,用于电弱相变计算,包含负责推导公式并写Python代码搭建势能的 Toolbox Construction 部分和负责画图制表展示的 Explorer 部分
LEBRON 的 Agent workflow 分五步:选择坐标系、解析推导质量、求边界条件、写Python数值计算代码、交给 Explorer
LEBRON 框架引入 auditor 机制,由一个独立模型扮演 physicist 检查计算结果,不一致就发回重做直到正确
在 LEBRON 的解析推导环节,Wang 刻意使用能力相对较弱的 Sonnet 并把 temperature 设为 0,而 auditor 与推理任务交给 Opus
加了 auditor 后 LEBRON 的笔记再没出过错,但几乎每一次都需要 auditor 纠正,没有一次能一遍写对
在 system prompt 里反复强调坚决相信 documentation 和 example,可让模型老实调用现成的包而非重复造轮子
LEBRON 设有两种模式:Reproduction mode 用于复现已有论文的图表并照用其convention,Discovery mode 接受物理理论假设让 Agent 从头完成计算
Wang 用 LEBRON 测试了 9 个不同的物理模型,reproduction 演示中仅用一句指令输出的数值结果几乎与原图完全一致
全部知识事实 (8)
LEBRON 是 Isaac Wang 搭建的 AI Agent 框架,全称为 Learning Electro-Weak Phase Transition,用于电弱相变计算,包含负责推导公式并写Python代码搭建势能的 Toolbox Construction 部分和负责画图制表展示的 Explorer 部分
50%待验证LEBRON 的 Agent workflow 分五步:选择坐标系、解析推导质量、求边界条件、写Python数值计算代码、交给 Explorer
50%待验证LEBRON 框架引入 auditor 机制,由一个独立模型扮演 physicist 检查计算结果,不一致就发回重做直到正确
50%待验证在 LEBRON 的解析推导环节,Wang 刻意使用能力相对较弱的 Sonnet 并把 temperature 设为 0,而 auditor 与推理任务交给 Opus
50%待验证加了 auditor 后 LEBRON 的笔记再没出过错,但几乎每一次都需要 auditor 纠正,没有一次能一遍写对
50%待验证在 system prompt 里反复强调坚决相信 documentation 和 example,可让模型老实调用现成的包而非重复造轮子
50%待验证LEBRON 设有两种模式:Reproduction mode 用于复现已有论文的图表并照用其convention,Discovery mode 接受物理理论假设让 Agent 从头完成计算
50%待验证Wang 用 LEBRON 测试了 9 个不同的物理模型,reproduction 演示中仅用一句指令输出的数值结果几乎与原图完全一致
50%