As of: 2026-10-30 13:42 CET. Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/ Canonical page: https://postcutoff.com/p/x-hamedha26534517-2107621391616876611/ # “Not surprising, but the counterexample seems complicated and not just a numerical…” Hamed Hatami (@HamedHa26534517), X, 2026-10-06. Source: https://x.com/HamedHa26534517/status/2107621391616876611 ## Archived text > @abhatt2 Not surprising, but the counterexample seems complicated and not just a numerical solution to some optimization problem. Maybe there is something interesting there. Archived 2026-10-29 via fxtwitter (unofficial). Counts: 197 views, 6 likes, 0 reposts, 0 replies (at fetch time) ## Cited in - 2026-10-06: [Sidorenko's conjecture disproved? (OpenAI, Lean)](https://postcutoff.com/e/2026-10-06-openai-sidorenko-conjecture-counterexample-claim/)