HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://twitter.com/gro_tsen/status/2082483878480977959

Current story

#
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz(twitter.com)
HN #49,108,5472026-07-30 11:29 UTC
4 pointsby jryan4918 days ago0 comments

Prior reposts (1 of 2 total)

#
AI "Proves" Collatz Conjecture with Lean 4 Bug(twitter.com)
HN #49,101,4652026-07-29 18:50 UTC
8 pointsby pfdietz19 days ago4 comments