大模型日报（8月8日 学术篇）

文章预览

我们希望能够搭建一个AI学习社群，让大家能够学习到最前沿的知识，大家共建一个更好的社区生态。 「奇绩大模型日报」知识库现已登陆飞书官方社区： https://www.feishu.cn/community/article/wiki?id=7355065047338450972 点击「订阅社区精选」，即可在飞书每日收到《大模型日报》每日最新推送 如果想和我们空间站日报读者和创作团队有更多交流，欢迎扫码。 欢 迎 大 家 一 起 交 流 ！ 学习 0 1 miniCTX：使用（长）背景进行神经定理证明 我们介绍了miniCTX，该测试模型证明需要新定义、引理或其他上下文信息的形式数学定理的能力，这些信息在训练过程中没有观察到。miniCTX包含了从真实Lean项目和教科书中获取的定理，每个定理都与可能跨越成千上万个token的上下文相关联。模型的任务是在访问定理存储库中的代码的情况下证明一个定理，该存储库包含有利或需 ………………………………