数学奥赛狂砍10题！Meta发布全新定理证明器：AI即将接管数学？

新智元报道编辑：LRS 人类主导的数学领域也要被 AI 攻克了？张益唐教授最近发布的论文宣布攻克「郎道-西格尔零点猜想问题」，着实让数学之美火出了圈。实际上每个定理的证明都需要天才般的灵感和不断尝试。论灵感一现，机器永远也比不上人类；但论刻苦能力，那 AI 模型可以甩人类十条街，给它资料它真学