#mathematicalresearch — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematicalresearch, aggregated by home.social.
-
One of the world’s biggest mathematicians Joel David Hamkins says AI models are basically zero help for mathematics as they produce…
Renowned mathematician Joel David Hamkins has voiced st…
#NewsBeep #News #Artificialintelligence #AI #AIcritique #AIinMathematics #ArtificialIntelligence #CA #Canada #confidenceinAI #Erdoscollection #JoelDavidHamkins #Largelanguagemodels #mathematicalreasoning #mathematicalresearch #Technology #TerrenceTao #universityofnotredame
https://www.newsbeep.com/ca/389599/ -
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