gpt-6IMAGE

用 GPT-6 Astra 验证三个数学猜想的反例

日本用户让 GPT-6 Astra 检验 AR、立川第二、little finitistic dimension 三个猜想的反例，Lean 形式化后看起来成立，但受特征 2 假设限制。

H. E.

@henomoto102526 天前收录原推发布于 2026.10.07

H. E. @henomoto1025原推发布于 2026.10.07

GPT-6-AstraにAR予想やTachikawa第二予想やlittle finitistic dimention予想の反例を検証させてますが、3つの予想の反例はLean形式化含めて正しそうです… 標数2だったりの体についての仮定があるので、全ての体でそのまま適応できる反例ではないみたいですが

x.com/henomoto1025/status/2107622735891534193采集于 2026.10.08 10:04