豆包首个形式化数学推理模型BFS-Prover来了，直接开源

字节跳动豆包大模型团队推出的BFS-Prover系统，在自动形式化数学定理证明领域取得突破。该系统通过专家迭代、直接偏好优化和长度归一化等技术，简化了传统复杂的蒙特卡洛树搜索和价值函数方法，降低了计算成本并提高了可扩展性。在MiniF2F测试集上，BFS-Prover实现了72.95%的准确率，超越现有最优系统，并成功证明多个IMO题目。这一成果为数学研究提供了更强大的自动化工具支持，有望推动自动定理证明领域的发展。
来源：https://mp.weixin.qq.com/s/OneF2OtnYbDxeZhDzXPM4A