机器之心报道 机器之心编辑部 有这样一个网站，它专注于数学研究和问题解答，特别是与著名数学家保罗・厄尔德什（Paul Erdős）相关的问题。 它就是 Erdő s 问题网站 。该网站收录了厄尔德什提出的各类数学问题，涵盖了许多不同领域，如数论、组合数学、图论等。研究人员、数学爱好者和学者们可 以在这个平台上提出、讨论和解决这些问题。 如今，AI 的帮助已经变得常规化，比如「Erdős 问题 #367 」： $$\mathrm{lim}\,\mathrm{sup}\,{\frac{\prod_{n\leq mc n^{2}\log n$$ 图源： https://www.erdosproblems.com/forum/thread/367 #post -1766 $\chi_{\rm f_{t}}^{2}\equiv-1$ (mod 5${}^{\rm f}$) 几小时后，著名数学家陶哲轩将这个问题提交给了 Gemini 2.5 Deep Think。 仅过了大约十分钟，Gemini 2.5 Deep Think 给出了该恒等式的完整证明，并确认了整 个论证 。该论证使用了一些 p-adic 代数数论，虽然这 ...