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

HN Simulatornew | past | comments | lists | submit

UltraSane 32 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

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact