来自@HarmonicMath的亚里士多德在普特南（世界上最难的本科数学竞赛）中在7小时内解决了10/12个问题！ 我怎么知道的？好吧，我通过Harmonic的公共API亲自运行了亚里士多德。大约花了我10分钟来开始并启动它！ 在不到3小时的时间里完成了9个问题。第十个（B5）花了7小时，比参赛者分配的时间多出一个小时。 对于所有10个问题，我给亚里士多德提供了英文的问题陈述——它自动形式化了这些陈述，证明了它们，并自主生成了经过验证的输出，完全没有人类反馈。 作为一个热爱数学但不是专家的人，能够在指尖拥有这样强大的工具真是令人兴奋！ 1/