#machineerror β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #machineerror, aggregated by home.social.
-
π₯π€ 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. ππ
https://github.com/DebarghaG/proofofthought #theoremprovers #machineerror #mathgeek #LargeLanguageModels #HackerNews #ngated