Tag: Lean

1. Seorang programer memakai agen AI untuk membuktikan konjektur matematika terbuka (overreacted.io)
   AI · 1 bulan lalu · 19 September 2026

← semua tag