#interactivetheoremprovers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #interactivetheoremprovers, aggregated by home.social.
-
Where is Mathematics Going? Large Language Models and Lean Proof Assistant https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/ #interactivetheoremprovers #mathematicalresearch #largelanguagemodels #MachineLearning #SoftwareHacks
-
Where is Mathematics Going? Large Language Models and Lean Proof Assistant - If you’re a hacker you may well have a passing interest in math, and if you have a... - https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/ #interactivetheoremprovers #mathematicalresearch #largelanguagemodels #machinelearning #softwarehacks