#tarskialgebra — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tarskialgebra, aggregated by home.social.
-
Oh wow, these guys just "attacked" Tarski's algebra problem with a SAT solver like it's some kind of mathematical Mortal Kombat. 🤓💥 And here I thought high school algebra was supposed to be hard—just needed a couple of PhDs and a #supercomputer to prove it, no biggie! 🙄
https://arxiv.org/abs/2608.08421 #TarskiAlgebra #SATSolver #MathHumor #PhDChallenge #HackerNews #ngated -
Oh wow, these guys just "attacked" Tarski's algebra problem with a SAT solver like it's some kind of mathematical Mortal Kombat. 🤓💥 And here I thought high school algebra was supposed to be hard—just needed a couple of PhDs and a #supercomputer to prove it, no biggie! 🙄
https://arxiv.org/abs/2608.08421 #TarskiAlgebra #SATSolver #MathHumor #PhDChallenge #HackerNews #ngated -
Oh wow, these guys just "attacked" Tarski's algebra problem with a SAT solver like it's some kind of mathematical Mortal Kombat. 🤓💥 And here I thought high school algebra was supposed to be hard—just needed a couple of PhDs and a #supercomputer to prove it, no biggie! 🙄
https://arxiv.org/abs/2608.08421 #TarskiAlgebra #SATSolver #MathHumor #PhDChallenge #HackerNews #ngated -
Oh wow, these guys just "attacked" Tarski's algebra problem with a SAT solver like it's some kind of mathematical Mortal Kombat. 🤓💥 And here I thought high school algebra was supposed to be hard—just needed a couple of PhDs and a #supercomputer to prove it, no biggie! 🙄
https://arxiv.org/abs/2608.08421 #TarskiAlgebra #SATSolver #MathHumor #PhDChallenge #HackerNews #ngated -
Oh wow, these guys just "attacked" Tarski's algebra problem with a SAT solver like it's some kind of mathematical Mortal Kombat. 🤓💥 And here I thought high school algebra was supposed to be hard—just needed a couple of PhDs and a #supercomputer to prove it, no biggie! 🙄
https://arxiv.org/abs/2608.08421 #TarskiAlgebra #SATSolver #MathHumor #PhDChallenge #HackerNews #ngated