erdosproblems.com

记录Erdős问题的官方网站。在ChatGPT 5.4 Pro破解Erdős Problem #1196后，该网站迅速将#1196标记为"PROVED（LEAN）"，成为事件权威确认的来源之一。

相关链接

• [[erdos-problem-1196]]
• [[ai-solves-math-problems]]