來自 @HarmonicMath 的亞里士多德在普特南（世界上最難的本科數學競賽）中在 7 小時內解決了 10/12 道題目！ 我怎麼知道這個？好吧，我是通過 Harmonic 的公共 API 自己運行了亞里士多德。大約花了我 10 分鐘來開始並啟動它！ 在不到 3 小時的時間內完成了 9 道題目。第十道題（B5）花了 7 小時，比參賽者分配的時間多出一小時。 對於所有 10 道題目，我給亞里士多德提供了英文的題目陳述——它自動將陳述形式化，證明了它們，並自主生成了經過驗證的輸出，完全不需要人類反饋。 作為一個喜愛數學但不是專家的我，能夠擁有這麼強大的工具在手邊真是令人興奮！ 1/