自動形式化AIの素晴らしい点は、生成された証明の妥当性に非常に自信を持てることです。これは多くの人間が書いた作品に欠けている検証のレベルであり、有益なものだ。@HarmonicMathの素晴らしいアリストテレスモデルに心から感謝します!