疑問に思っている人のために説明すると、問題のAIは@HarmonicMathのアリストテレスの体験版でした。 この定理は、リーンの研究チームによって構築されたドメイン固有の検証器で、科学計算のアルゴリズムを検証するために必要な級数の和に関するラストワンマイルの結果でした。