GPT-5 Pro发现NICD问题反例

AI已经能解决神秘的数学问题。

GPT-5 Pro 刚刚找到了一个开放问题NICD-with-erasures多数最优性的反例（Simons列表，第25页）。