谷歌 DeepMind 使用大型语言模型解决了无法解决的数学问题

我一直想知道要多久我们才能看到这种情况的发生：在大型语言模型的帮助下发现了真正的新科学发现。

DeepMind 使用 Codey 找到了先前开放的“上限设置”问题的解决方案，Codey 是专门针对代码的 PaLM 2 的微调变体。他们用它来生成 Python 代码，并在“数百万条建议和整个过程的数十次重复”后找到了解决方案。