在人工智能领域，最新的进展引发了广泛关注。OpenAI 的研究员塞巴斯蒂安・布贝克（Sebastien Bubeck）近日在社交媒体平台 X 上分享了他与新一代语言模型 GPT-5的合作经历。他表示，GPT-5在处理复杂数学任务方面表现卓越，能够完成他原本需要一个月才能完成的工作，仅用一个下午就高效解决了问题。
布贝克描述了这一过程:GPT-5不仅为他设计了解决方案的路径，还进行了模拟以验证公式的正确性，最终撰写出完整的数学证明。这样的能力令他感到震惊，称之为 “迄今为止最令人印象深刻的语言模型输出”。
这种高水平的人工智能在数学领域的应用越来越明显。著名数学家陶哲轩（Terence Tao）也曾表示，AI 工具帮助他节省了几小时的工作时间。他使用这些工具主要用于验证自己的理论假设，而不是完全依赖于它们的自主计算。OpenAI 的一份报告进一步指出，GPT-5能够在多个科学领域显著节省研究时间，为研究者提供了强大的助力。
划重点:
