数学推导看似成立？同时找证明和反例
提供命题、定义和假设，分列推导步骤、可查证依据与反例方向，交由懂该题的人核对。
执行环境与使用方式
AI／软件
Gemini
在哪里操作
浏览器中的 Gemini 对话输入框；本版本只要求文字草稿。
如何开始
- 打开你已有权使用的 gemini.google.com；新建对话，不连接外部账户。
- 准备明确命题、定义、允许引用的结果及能核对推导的人。
- 发送起草／检查要求，将结果与原始材料逐项核对；不要把建议当成已执行。
准备与方案条件
输入准备：准备明确命题、定义、允许引用的结果及能核对推导的人。 需使用可读取这些资料格式的工具，并先核对解析结果、内容长度与使用资格。
提示词移植限制
可将这份文字要求移到能处理同类输入的聊天工具；不会同时获得来源示范的代理、插件或电脑权限。
使用限制
需有可核对的定义、允许使用的结果及审阅者；有限测试和未完成推导不能当证明。 本次仅审查本地案例，未重新核实原始来源或实测功能。
环境资料来源
適用情境 / When to use
提供命题、定义和假设，分列推导步骤、可查证依据与反例方向，交由懂该题的人核对。 需有可核对的定义、允许使用的结果及审阅者；有限测试和未完成推导不能当证明。 原案例：DeepMind 介绍 Aletheia 以生成、验证与修订流程处理数学研究问题。
步驟 / Steps
- 准备明确命题、定义、允许引用的结果及能核对推导的人。
- 分开提出证明思路与反例搜寻，逐步列出每个推导的依据。
- 查证引用并人工验算特殊情况，无法完成就标部分进展或未解。
提示詞 / Prompt
检查［命题、定义与假设］，同时探索证明与反例。每步注明已知结果或待证处，引用需可查证；遵守［时间／资源范围］。无法完成就清楚标示，不能把有限测试、猜想或模型自评写成已证明。
留意事項 / Cautions
- 数值测试通过不是一般性证明。
- 模型自评正确不能取代专家或形式检查。
來源限制 / Evidence limits
这是专用研究系统的供应商报告，不代表一般聊天介面同等能力或每题能解。
流程說明 / Workflow note
以下步骤与提示词为本站原创、未实测的练习设计，并非原作者逐字流程；来源结果不代表练习保证成功。
原始工具組合 / Original tool stack
Aletheia 研究代理；Gemini Deep Think；自然语言验证器；Google Search
来源发表日期：2026-02-11
来源查核日期：2026-10-19
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think