LLMs have gotten good at creating Lean proofs so the are much more common but no... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

UltraSane 22 days ago | parent | context | favorite | on: Mathematicians Build Long-Awaited Graph Sandwich

LLMs have gotten good at creating Lean proofs so the are much more common but not universal. And they depend on https://github.com/leanprover-community/mathlib4

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact