WeSearch
Hub / Tags / Lean 4
TAG · #LEAN-4

Lean 4 coverage.

Every story in the WeSearch catalog tagged with #lean-4, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #lean-4, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Lean 4"

X (FORMERLY TWITTER)

AI "Proves" Collatz Conjecture with Lean 4 Bug

So, someone came up with an AI-generated formal proof, in Lean, of a solution to the Collatz problem, and it turned out that the “proof” was merely exploiting a bug in the Lean ker…

12 views ·

Browse more

All tags Search "Lean 4" RSS feed World US Technology Markets