Testing counterexamples to three math conjectures with GPT-6 Astra

A Japanese user had GPT-6 Astra check counterexamples to the AR, Tachikawa second, and little finitistic dimension conjectures; the counterexamples appear correct including Lean formalization, though field assumptions such as characteristic 2 limit them.

H. E.

@henomoto1025Archived 26 days agoOriginally posted 2026.10.07