在人工智能領域，最新的進展引發了廣泛關注。OpenAI 的研究員塞巴斯蒂安?布貝克（Sebastien Bubeck）近日在社交媒體平臺 X 上分享了他與新一代語言模型 GPT-5的合作經歷。他表示，GPT-5在處理復雜數學任務方面表現卓越，能夠完成他原本需要一個月才能完成的工作，僅用一個下午就高效解決了問題。
布貝克描述了這一過程:GPT-5不僅為他設計了解決方案的路徑，還進行了模擬以驗證公式的正確性，最終撰寫出完整的數學證明。這樣的能力令他感到震驚，稱之為 “迄今為止最令人印象深刻的語言模型輸出”。
這種高水平的人工智能在數學領域的應用越來越明顯。著名數學家陶哲軒（Terence Tao）也曾表示，AI 工具幫助他節省了幾小時的工作時間。他使用這些工具主要用于驗證自己的理論假設，而不是完全依賴于它們的自主計算。OpenAI 的一份報告進一步指出，GPT-5能夠在多個科學領域顯著節省研究時間，為研究者提供了強大的助力。
劃重點:
