home.social

#theoremformalization — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #theoremformalization, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Formalizing Fermat's Last Theorem

    anthropic.com/research/formali

    Comments: news.ycombinator.com/item?id=4

    #HackerNews #FermatsLastTheorem #MathProofs #TheoremFormalization #Mathematics #Research #Anthropic

    #hackernews #fermatslasttheorem #mathproofs #theoremformalization #mathematics #research