home.social

#mathgeek — Public Fediverse posts

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

  1. 🔥🤖 Oh sure, let's all pretend theorem provers will magically bestow infallible #logic upon your Large Language Models! Because, obviously, #AI needs a sprinkle of math geek magic to replace human error with machine error. 🙄🔍
    github.com/DebarghaG/proofofth #theoremprovers #machineerror #mathgeek #LargeLanguageModels #HackerNews #ngated