用户计划用 Gemini 4 Argon 写形式化证明并由 GPT-6 Astra 审查

FanXing @fanxing321原推发布于 2026.10.24

在 X 上打开原推

我即将使用 gemini 4 argon 来编写形式化证明。不知道 4 argon 的数学和逻辑能力能否做到？ 我将使用 gemini 4 argon high 来编写形式化证明，由 6 astra 作为 review，来看看 4 argon 所编写的代码 gpt 是否真的能找到一些严重问题（