David Dranchak’s Post

"I expect the future will look similar. My role has been to translate mathematical understanding into a SAT representation, but LLMs could help many more mathematicians learn how to do this themselves, so they don’t need me as the middleman. That’s incredibly exciting. With mathematicians, generative AI and automated reasoning working together, we have a real shot at cracking long-standing open problems. But removing humans from the loop entirely would be a mistake. The creative intuition, the conceptual reframing, that’s still something people are uniquely good at. The magic comes from the collaboration." #Mathematics #QuantaMagazine #EmptyHexagon #SchurNumber5 #KellersConjecture #DimensionSeven #Geometry #Combinatronics #Satisfiability #LargeLanguageModel #GeneerativeAI