人工智能在數學領域取得重大突破,GPT5.2模型僅用15分鐘便證明了保羅·埃爾德什遺留的未解難題,並通過形式化工具驗證。埃爾德什的千餘猜想曾被視爲人類智慧邊界,但近期已有15個問題被解決,其中11個由AI完成。
微軟Copilot AI應用完成重大升級,全量推送GPT5.2模型,命名爲“智能+”模式。新版本主打“專家級”辦公支持,核心優勢在於強大的“思考”變體模型,特別擅長處理邏輯複雜、流程冗長的辦公任務。