Hackernews posts about Lean4

1. Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
   18 points by kbradero 23 days ago | 2 comments
2. AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
   14 points by pfdietz 22 days ago | 5 comments
3. Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com)
   4 points by jryan49 21 days ago | discuss
4. CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification (arxiv.org)
   2 points by Jimmc414 20 days ago | discuss
5. Show HN: Wiki-like edit for Lean 4 project Physlib (jstoobysmith.github.io)
   2 points by leanexplorer 21 days ago | discuss
6. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
   115 points by permute 23 days ago | 49 comments
7. Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com)
   5 points by gopiandcode 23 days ago | discuss
8. Counterexample to the Lean Conjecture (Soundness Bug) (leanprover.zulipchat.com)
   2 points by ahlCVA 23 days ago | discuss
9. Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
   184 points by matt_d 2 days ago | 39 comments
10. Are We Stuck with Lean? (mathoverflow.net)
    156 points by jjgreen 21 days ago | 68 comments
11. Lean Eval for Alignment on Faithfulness (www.millenniumresearch.ai)
    103 points by asdajksbda 9 days ago | 4 comments
12. LeanScreen: Lean Verification (www.millenniumresearch.ai)
    34 points by Hdjlaf 23 days ago | 3 comments
13. AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
    16 points by YeGoblynQueenne 21 days ago | 1 comments
14. Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com)
    14 points by modinfo 12 days ago | 2 comments
15. Why Lean is faster than Rust (kim-em.github.io)
    7 points by replatformradar 25 days ago | 3 comments
16. Elon Musk, the Most Famous EV Pioneer, Is Now Leaning into Fossil Fuels (www.wsj.com)
    7 points by melling 7 days ago | 2 comments
17. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    7 points by joomy 23 days ago | 1 comments
18. Narcissism, Machiavellianism, and the people who lean hardest on AI (thenextweb.com)
    7 points by colinprince 28 days ago | 1 comments
19. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    7 points by birdculture 22 days ago | discuss
20. Lean prover Dirac solves the 2026 International Mathematical Olympiad (www.boundlessintuition.com)
    6 points by bi_labsx 10 days ago | 1 comments
21. Nielsen is leaning more on wearables to hear what people are watching (www.theverge.com)
    5 points by mikelgan 1 day ago | 2 comments
22. Amazon Is Investing in the Lean Focused Research Organization (www.amazon.science)
    4 points by gjmveloso 25 days ago | discuss
23. Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean (anabelian.org)
    3 points by ur-whale 13 days ago | 1 comments
24. Six Sigma vs. Lean Six Sigma: What's the Difference? (www.purdue.edu)
    3 points by Anon84 26 days ago | 1 comments
25. LinkedIn Wants Users to Lean Less on AI. Maybe Less (www.wsj.com)
    3 points by JumpCrisscross 7 days ago | discuss
26. A 2024 Plea for Lean Software (with running code) (berthub.eu)
    3 points by tosh 23 days ago | discuss
27. LinkedIn Wants Users to Lean Less on AI. Maybe Less (www.wsj.com)
    2 points by apparent 4 days ago | 1 comments
28. Contributing to the Lean Mathlib Library – Tanner Duve (www.youtube.com)
    2 points by abaradwaj 8 days ago | 1 comments
29. OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean (arxiv.org)
    2 points by tadamcz 4 days ago | discuss
30. Kevin Warsh to stick with lean Fed messaging despite market backlash (www.ft.com)
    2 points by petethomas 14 days ago | discuss