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
Formal Verification
A collection of 1 issue