AI, Collatz, dan Bug Lean: Proof Assistant Tetap Software
AI membantu menemukan proof Collatz yang terlihat valid, tetapi ternyata memanfaatkan bug soundness di Lean kernel. Ini pelajaran praktis soal verifikasi, trust, dan cara membaca output AI.
Topic
Developer Education
A collection of 1 issue