每天听简报，了解最新科技、AI、软件资讯
机器给出数学证明后，研究者如何庆祝，成了数学家 Steven Strogatz 写作中的难题。他在文章里转述，同事 Justin Moore 为一道钟爱的题，保存了一瓶二零一零年买的白兰地。看到机器生成的证明后，Moore 仍没开瓶。他说，要等信任的同行认定证明正确，也等大家真正理解它。另一位同事 Alex Townsend 选择整理并公开未解问题，希望研究者主动使用新工具。这两种反应，让 Strogatz 把讨论从答案转向理解，以及人和人共同探索的价值。这里讲的是作者记录的经历与观点，没有据此裁定文中提及的机器证明都已通过数学界审查。
进度保存在本设备 · 登录同步