OpenAI模型解决五个Erdos问题
一次性解决五个Erdos问题！随着模型的改进，证明变得越来越优雅。
我们刚刚发布了另一篇论文，使用OpenAI内部模型解决了五个Erdos问题：https://t.co/yq5kb4wSNL。其中几个证明在撰写论文时特别令人愉悦。我个人最喜欢的是Erdos问题1091的解法。https://t.co/NWhkHfoTcx
动态
我们刚刚发布了另一篇论文，使用OpenAI内部模型解决了五个Erdos问题：https://t.co/yq5kb4wSNL。其中几个证明在撰写论文时特别令人愉悦。我个人最喜欢的是Erdos问题1091的解法。https://t.co/NWhkHfoTcx