gemini-4POST
Plan to write formal proofs with Gemini 4 Argon, review with GPT-6 Astra
The poster plans to write formal proofs with Gemini 4 Argon high and have GPT-6 Astra review them for serious flaws, testing its math and logic.
FanXing
@fanxing321Archived 7 days agoOriginally posted 2026.10.24
FanXing @fanxing321Originally posted 2026.10.24
我即将使用 gemini 4 argon 来编写形式化证明。不知道 4 argon 的数学和逻辑能力能否做到？ 我将使用 gemini 4 argon high 来编写形式化证明，由 6 astra 作为 review，来看看 4 argon 所编写的代码 gpt 是否真的能找到一些严重问题（
x.com/fanxing321/status/2113919121557713043Archived 2026.10.25 09:55