在人工智能领域,最新发展引起了广泛关注。OpenAI的研究员Sebastien Bubeck最近分享了他在社交媒体平台X上使用新一代语言模型GPT-5的经历。他表示,GPT-5在处理复杂的数学任务方面表现出色,能在一个下午完成原本需要一个月才能完成的工作。
Bubeck描述了过程:GPT-5不仅为他设计了解决问题的路径,还进行了模拟以验证公式的正确性,最终写出了完整的数学证明。这一能力令他惊叹,他称之为“迄今为止最令人印象深刻的语言模型输出”。
这种高级人工智能在数学领域日益明显。著名数学家陶哲也表示,人工智能工具帮助他节省了数小时的工作时间。他主要用这些工具验证自己的理论假设,而不是完全依赖它们的自主计算。OpenAI的一份报告进一步指出,GPT-5能显著节省多个科学领域的研究时间,为研究人员提供强有力的支持。