CASE EVIDENCE / A RECORD
iluyobrainy / Deepdgm 公开的研究与报告生成案例，来源为 公开代码库，复核于 2026-06-27T09:37:57Z。
原始记录：Deepdgm 使用 DeepSeek R1 0528 构建 ECDLP 数学研究 Agent
Chinese Brief
iluyobrainy / Deepdgm 公开的研究与报告生成案例，来源为 公开代码库，复核于 2026-06-27T09:37:57Z。 Model Atlas 将它标记为 A 类证据，因为它同时具备具体使用者、具体任务、公开原始证据和可访问产物。 Model Atlas 不把 benchmark、教程、发布说明或集合页包装成真实案例。
任务
Deepdgm 是一个面向 secp256k1 椭圆曲线离散对数问题（ECDLP）的自治数学研究系统，README 说明其结合 Darwin Gödel Machine、自改进 AI 架构、DeepSeek R1 数学推理、SageMath 严格计算和自动验证。
公开 GitHub 仓库提供数学研究 Agent 源码、自改进步骤和工具调用流程；系统目标是生成 ECDLP 研究策略、调用数学工具并保存自改进运行元数据和补丁草稿。
llm_withtools.py 将 DEEPSEEK_MODEL 设为 deepseek-r1-0528，并在 chat_with_agent 中用该模型驱动带数学工具的研究对话；self_improve_step.py 也显式 create_client('deepseek-r1-0528') 来分析研究方法并生成改进建议。
证据来自公开源码和 README；项目目标具有研究探索性质，不代表已解决 ECDLP，但模型被绑定到具体数学研究 Agent 的推理与自改进流程。