Ansatz 图记忆框架与社区平台用于数学发现

Eric Hanchen Jiang 等作者发布论文，提出 Ansatz 研究框架与 Ansatze 社区平台。Ansatz 用持续图记忆把模型接受的结论及其依赖与人工整理的探索分开记录；Ansatze 供人检视、引导和检查这些数学研究工作。 作者称，在 First Proof 的两个各含十道题的批次中，Ansatz 均记录到九次本地验证器闭合，第二批的一个部分结果也按该研究标准计为通过。这些由模型评估的结果包含持续搜索，与专家验证不同。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。