‹ BackHN Continuity

Thread

Mathematicians Build Long-Awaited Graph Sandwich

88 points · 23 comments · ibobev

  1. bhouston · · focus · HN ↗
    I am not a mathematician but are most papers now accompanied by a lean proof?

    Is there a central repository of lean proofs shared by mathematicians like an npm repository of JavaScript packages?

    Does it all depend on a stupid is-odd package in the end?

    1. UltraSane · · focus · HN ↗
      LLMs have gotten good at creating Lean proofs so the are much more common but not universal. And they depend on <a href="https:&#x2F;&#x2F;github.com&#x2F;leanprover-community&#x2F;mathlib4" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;leanprover-community&#x2F;mathlib4
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.