Hacker News new | ask | show | jobs
by wizzwizz4 11 days ago
This is a counterexample for the three-variable case, which hasn't been studied as much. The long-standing two-variable case remains open.