math-conjecture

Noam Brown 宣布，GPT-5.6 Sol Ultra 证明了一个50年历史的数学猜想，展示了令人印象深刻的提示工程和代理提示。