← Về trang chính1 tin
Một AI coding agent chạy trên terminal, có khả năng chuyển đổi các bài toán thành định lý Lean 4 và thực hiện chứng minh chúng.
Đăng nhập để góp ý, chỉnh sửa
Nguồn chính
- THẢO LUẬNhomarpnews.ycombinator.com
Một AI coding agent chạy trên terminal, có khả năng chuyển đổi các bài toán thành định lý Lean 4 và thực hiện chứng minh chúng.