AI Notkilleveryoneism Memes ⏸️@AISafetyMemesAI Safety Memes 推文指出，AI 刚刚解决了 9 个未解决的数学问题，但全球没有记者报道。引用 @WeinsteinOmri 的推文称，采用“prover-verifier”LLM 循环的方法，成功解决了理论计算机科学中 9 个重大开放问题，其中包括一个困扰其长达 2 年的难题。该研究由哥伦比亚大学合作者完成，并计划将这一方法扩展到所有科学领域。
如果属实，这将是 AI 首次批量解决实质性开放数学问题，但消息仅来自推文声明，未见论文或代码，现在兴奋还太早。
AI 解决的数学难题不是一道，而是 *九道*。
再一次，这样的大事没能成为全球新闻，全地球没有一个记者认为这值得报道。
引用 @WeinsteinOmri：即使是 OpenAI 最近的 Erdős 突破，也没能让我相信大语言模型能做通用数学研究。而这件事改变了我的看法。
通过一个巧妙的"证明者-验证者"大语言模型循环，该框架解决了理论计算机科学中的 9 个重大未解问题，其中包括一个让我整整两年夜不能寐的问题。
令人惊叹的工作，由我此前在哥伦比亚大学的合作者 @binghuip、@runzhou_tao、Steven Wang 和 @HantaoYu_Theory 完成。
计划是将这一方法扩展到所有科学领域。敬请期待。
来源：AI Notkilleveryoneism Memes ⏸️ · x.com
AI Safety Memes 推文指出，AI 刚刚解决了 9 个未解决的数学问题，但全球没有记者报道。引用 @WeinsteinOmri 的推文称，采用“prover-verifier”LLM 循环的方法，成功解决了理论计算机科学中 9 个重大开放问题，其中包括一个困扰其长达 2 年的难题。该研究由哥伦比亚大学合作者完成，并计划将这一方法扩展到所有科学领域。
AI 解决的数学难题不是一道，而是 *九道*。
再一次，这样的大事没能成为全球新闻，全地球没有一个记者认为这值得报道。
引用 @WeinsteinOmri：即使是 OpenAI 最近的 Erdős 突破，也没能让我相信大语言模型能做通用数学研究。而这件事改变了我的看法。
通过一个巧妙的"证明者-验证者"大语言模型循环，该框架解决了理论计算机科学中的 9 个重大未解问题，其中包括一个让我整整两年夜不能寐的问题。
令人惊叹的工作，由我此前在哥伦比亚大学的合作者 @binghuip、@runzhou_tao、Steven Wang 和 @HantaoYu_Theory 完成。
计划是将这一方法扩展到所有科学领域。敬请期待。
来源：AI Notkilleveryoneism Memes ⏸️· x.com