#satsolvers — Public Fediverse posts

A SAT attack on Tarski's high school algebra problem. ~ Bernardo Subercaseaux, Benjamin Przybocki. https://arxiv.org/abs/2608.08421v1 #ATP #SATsolvers #Math

Readings shared November 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/17-readings_shared_11-16-25 #AI #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #SatSolvers

To have machines make math proofs, turn them into a puzzle (Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do). ~ John Pavlus. https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ #AI #Math #ATP #SatSolvers

🚨 ALERT! 🚨 Someone thinks SAT solvers are the panacea to difficult #problems but forgot to solve the biggest problem: putting the reader to sleep in record time. 📉 Welcome to the riveting world of NP-complete problems, where saying "polynomial time" three times fast is more exciting than the content itself. 💤
https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/ #SATsolvers #NPcomplete #boredom #techhumor #algorithmantics #HackerNews #ngated

👒🔍📐 Here comes Nicols Hatcher, the self-proclaimed "physicist by soul," to dazzle us with a mind-numbingly riveting tale of shapes and #algorithms. Get ready to be blown away by the exhilarating world of #monotiles and SAT solvers—because that's exactly what your weekend was missing! 💤🎉
https://www.nhatcher.com/post/on-hats-and-sats/ #physicist #SATsolvers #weekendreads #HackerNews #ngated

The Hat, the Spectre and SAT Solvers (2024)

https://www.nhatcher.com/post/on-hats-and-sats/

#HackerNews #TheHat #TheSpectre #SATSolvers #AIResearch #TechNews

🚨 Breaking News: Some "genius" thinks #LinkedIn and #Queens need a crossover event, solved with SMT! 🤯 Apparently, SAT solvers are the unsung heroes of this saga, but don't worry—our hero will pause his newsletter to speak at a conference, because priorities. 🎤🔍
https://buttondown.com/hillelwayne/archive/solving-linkedin-queens-with-smt/ #BreakingNews #SMT #SATsolvers #ConferenceTalk #HackerNews #ngated