研究 · 高级
已验证
自动化验证
- 已通过全部自动化关卡：结构校验、唯一性、HTTPS 与来源链接可访问、提示注入与安全扫描、审批步骤规则。
- 未记录起草模型。
- 第二模型审核：deepseek-v4-pro（无严重或高危问题）。
- 简体中文译文：google/gemini-4-argon，由 openai/gpt-5.5 审核。
- 验证于 。
- 仅经自动化检查和 AI 审核，未经人工审核。
将神经回路蒸馏为经验证的代码
将提取出的 Transformer 子回路转换为通过形式化检验的人类可读 Python 算法
- 你提问时触发提交回路产物
- 然后运行合成与求解器检验
- 结果发布经验证的代码与证明
通过合成等价的符号算法，自动化分析剪枝后的 Transformer 子回路。当提交回路产物时，该 Bot 会运行域有界的代理拟合、搜索算法模体、通过可满足性求解器检验等价性，并报告匹配的代码或反例。
起步提示词
BotBento推荐
当提供新的回路图时，通过终端执行蒸馏套件以合成候选的 Python 表示。针对目标域运行有界求解器检验。如果生成了反例或证明，请将发现结果和经验证的算法写入笔记。在 GitHub 上推送更改或更新基准代码库之前，务必先请求确认。