GPT-5 PRO FOUND A COUNTEREXAMPLE TO THE NICD-WITH-ERASURES MAJORITY OPTIMALITY

Summary from the TLDR AI newsletter

A group of scientists released a collection of open problems in computer science in 2014. One of these was the Non-Interactive Correlation Distillation with Erasures. GPT-5 Pro found a counterexample to the problem. A screenshot of its answer is available.