OpenAI称10,000个AI代理解决了100万美元的数学问题。现在数学家们正在争论

一个比GPT-6 Astra更强大的内部模型提出了一个解决数学七个千禧年奖问题之一的方案，但人们开始质疑它是如何独立得出这个结论的。