AutoIP

AIエージェントを用いて線形正則化理論や関数解析を自動形式化したLeanライブラリ「AutoIP」が発表されました。