A modern reorganization of mathematics. ~ Bin Dong et al. https://xenaproject.wordpress.com/2026/11/11/a-modern-reorganization-of-mathematics/ #LeanProver #LeanLang #AI4Math #AI #Math
Related
The Hundred-Page Language Models Book by Andriy Burkov is on sale on Leanpub! Its suggested price is $50.00; get it for ...
The Hundred-Page Language Models Book by Andriy Burkov is on sale on Leanpub! Its suggested price is $50.00; get it for $20.00 with this coupon: https://leanpub.com/theLMbook/c/Lea...
Criminals make big money from using #AI to impersonate executives: https://www.theguardian.com/us-news/2026/nov/06/ai-ce...
Criminals make big money from using #AI to impersonate executives: https://www.theguardian.com/us-news/2026/nov/06/ai-ceo-impersonation-theft #ArtificialIntelligence
I found out another way to make #AI Bros big mad. I tell all of them I pirated their thing they try and get me to buy an...
I found out another way to make #AI Bros big mad. I tell all of them I pirated their thing they try and get me to buy and then made money off their generated creation since LLM out...