本日は初代スポンサーとして@leanproverに30万ドルを寄付します! 私たちは数学的推論の未来は形式的な検証にあると考えています。私たちのモデルであるアリストテレスは、リーンを使って誤りを排除し結果を検証しています。安全で正確な数学的超知能を可能にするツールや人々を支援できることを大変嬉しく思います。