Meme shows Sol giving a correct proof of rational-number commutativity
aran_nayebi · x · 2026-07-28
A meme post shows Sol being prompted to prove commutativity of the rationals, then producing a correct proof by constructing \(\mathbb{Q}\) from equivalence classes of integer pairs.
The joke is that a Twitter user claimed the model could not do it; the screenshot demonstrates a valid proof and undercuts that claim.
More from Fun
- A repost turns a surreal sci-fi scene into “our simulation is beautiful” — MickeySteamboat · 2026-07-28
- “Claude, find me a vuln in XNU, make no mistakes” is the new distribution joke — dyn___ · 2026-07-28
- A repost frames an eerie AI image as “our simulation is beautiful” — No-Object-1791 · 2026-07-28
- A crow meme jokes that its “resolution is increasing” — ZeroStateReflex · 2026-07-28
- A meme says LLM architectures now look more like rocket engines than neural nets — rasbt · 2026-07-28
- Claude Code gets turned into an AI meme about deleting a customer database — victor_explore · 2026-07-28