エキサイティング!人間とAIのチームが一緒に数学的証明を書くためのツール。
guille
guille2025年8月30日
今日は、AI と自動定理証明 (およびいくつかのクールなプロジェクト) に関する努力投稿があります。
2.99K