AIモデル「Leanstral 1.5」が発表され、AIの推論能力と検証機能が飛躍的に向上しました。これにより、生成AIが提供する情報の信頼性が大幅に高まり、「Proof Abundance for All」(すべての人への証明の豊富さ)という新たな概念が現実のものとなります。