logoalt Hacker News

wizzwizz4yesterday at 10:29 PM0 repliesview on HN

This is a counterexample for the three-variable case, which hasn't been studied as much. The long-standing two-variable case remains open.