在人工智能技术持续演进的背景下，OpenAI研究员塞巴斯蒂安·布贝克近日分享了其与公司先进语言模型GPT-5合作的惊人体验，揭示了该模型在复杂数学任务处理上的卓越性能。布贝克在社交媒体平台X上指出，GPT-5能够在一个下午内完成他原本需要耗费一个月的工作量。
据布贝克描述，这款模型不仅成功规划了问题解决方案的路径，还执行了模拟以验证公式的准确性，并最终产出了完整的数学证明。他对GPT-5展现出的高水平能力表示震撼，称其为“迄今为止最令人印象深刻的语言模型输出”。值得注意的是，多方报道指出，GPT-5 Pro模型甚至独立证明了新的数学定理，在凸优化等领域改进了已知边界，展现了生成原创数学知识的潜力，而非仅仅解决已知问题或重复现有成果。
人工智能在高级数学领域的应用正日益凸显。著名数学家陶哲轩也曾表示，AI工具为他节省了数小时的工作时间。他主要利用这些工具来验证自身的理论假设，而非完全依赖其自主计算，强调AI作为“副驾驶”的辅助作用。
OpenAI发布的一份报告进一步印证了AI在多个科学领域节省研究时间的强大助力。报告展示了GPT-5等模型如何有效提升研究人员的工作效率。