@highergeometer@mathstodon.xyz

Post #1558690

2026-04-17 13:45 UTC

Correction: it was a top-tier ChatGPT pro model that gave the paper proof, first. The Gauss software did the Lean proof.

Replies (0)

No replies.