@HarmonicMathのアリストテレスは、世界で最も難しい学部数学コンペティション「プットナム」で7時間で12問中10問解きました! どうしてそれがわかるのか?実は、私自身がHarmonicの公開APIを使ってアリストテレスを動かしました。そして、始めて始めるのに約10分かかりました! 10問中9問を3時間以内に解き放ちました。10回目(B5)は7時間かかり、出場者の割り当て時間より1時間多くかかりました。 10問すべてについて、私はアリストテレスに英語で問題文を渡しました。すると、アリストテレスは文を自動形式化し、証明し、人間のフィードバックを一切なしに自律的に検証済みの出力を生成しました。 数学は好きですが専門家ではない者として、これほど強力なツールが手元にあるのはとてもワクワクします!1/