AI, Lean 4 버그를 이용해 Collatz Conjecture "증명"AI "Proves" Collatz Conjecture with Lean 4 Bug▲ 10 · twitter.com · 10시간 전 · 4 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…