Post #2599014
2026-05-09 07:12 UTC
Tim Gowers "A recent experience with ChatGPT 5.5 Pro" https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/
Replies (1)
-
@buster@mathstodon.xyz 2026-05-09 07:46
@MartinEscardo@mathstodon.xyz He lost me at if |A|=k, then \(2k-1\leq|A|\leq\binom{k+1}2\)