LEGO-Prover

像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA

像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA
中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条严格推理的典范，数学推理被认为是衡量语言模型推理能力的重要基准，GSM8K 和 MATH 等数学文字问题（math word problem）数据集被广泛应用于语言模型的测评和比较中。事实上，数学作为一项科学研究并不仅仅包括计算具体实例，还包括推演一般性的定理。不同于简单的计算问题仅仅需要验证最终的结果与答案是否匹配，定理的证明要求对数学概念拥有更严格的理解，而这种定理证明的正确性是难
10/30/2023 5:05:00 PM
机器之心
  • 1
资讯热榜
罗永浩 Jarvis 初创项目“J1 Assistant AI 助理”上线，利用语音与大模型互动 类 Mac Mini 大小的个人 AI 超算：英伟达 Project Digits 发布，起价 3000 美元 3 到 5 秒即可同声传译 40 余种语言，时空壶推出 W4 Pro 实时翻译耳机 GPT-4o最自私，Claude更慷慨！DeepMind发布全新「AI道德测试」 Just keep scaling！思维链作者Jason Wei 40分钟讲座剖析LLM扩展范式 OpenAI最大秘密，竟被中国研究者破解？复旦等惊人揭秘o1路线图 奥特曼回应一切：宫斗、马斯克、ChatGPT两周年 全网都在扒的DeepSeek团队，是清北应届生撑起一片天
标签云
AI 模型 人工智能 AIGC OpenAI AI绘画 ChatGPT 机器人 数据 生成 训练 谷歌 视频 智能 学习 Midjourney GPT 大模型 用户 AI创作 LLM 图像 微软 开源 技术 Meta 论文 Stable Diffusion 生成式 算法 蛋白质 芯片 马斯克 计算 神经网络 AI设计 Gemini Sora 研究 腾讯 课程 代码 开发者 场景 伟达 3D GPU 预测 模态 Transformer 华为 文本 驾驶 英伟达 神器推荐 机器学习 AI视频 语言 干货合集 LLaMA 深度学习 2024 算力 搜索 视频生成 苹果 科技 AI应用场景 应用 百度 写作 特斯拉 机器 安全 具身智能 Copilot AI for Science 语音 prompt 视觉
友情链接：AI导航 AIGC导航 AIGC宇宙 Life Wiki