寫 Code 的 AI 跨界解數學題?Cursor 自主運作四天提出超越人類的證明解法

Cursor 團隊表示,他們用來寫 code 的多 Agent 架構,自主跑了四天後,居然在大學級別的數學難題上給出了比人類官方解答更強的證明解法!