动态

Sol Ultra利用GPT解决Erdos问题

Greg Brockman
用于解决埃尔德什问题的 Sol Ultra:
Przemek Chojecki | PC
GPT-5.6 Sol Ultra在这之后不久为我找到了另一个埃尔德什问题的解法。#793 问题询问一个2-本原集的渐近性。GPT再次提出了一个极其简短优雅的构造,增强了证明较弱结果的原始Erdos方法。
动态Greg Brockman2026-07-13原文

相关内容