AI 精选动态
智能评分 65
AI 解决9个未解数学难题
AI 推荐理由
与之前 OpenAI 的 Erdős 突破不同，该工作展示了 prover-verifier LLM 循环在数学研究中的新范式，值得关注具体方法。核心解读
Omri Weinstein 团队利用 prover-verifier LLM 循环成功解决了9个理论计算机科学开放问题，其中包括一个困扰研究者两年的问题。
全文
AI just solved not one, but ***9*** unsolved math problems.
Once again, instead of this being a global news story, not one journalist on Earth thought this was worth mentioning. https://t.co/hpHoOveOyn
> **引用原帖 Omri Weinstein (@WeinsteinOmri):**
> Even @OpenAI's recent Erdős breakthrough didn't convince me that LLMs can do general math research. This changed my mind..
> Using a clever 'prover-verifier' LLM loop, this harness solved 9 substantial open problems in Theoretical CS, including one that kept me up at night for 2 years.
> Incredible work by my former Columbia collaborator @binghuip, @runzhou_tao, Steven Wang & @HantaoYu_Theory.
> The plan is to expand this to ALL fields of science. Stay tuned.
> https://x.com/WeinsteinOmri/status/2071940117875282030