A SAT Attack on Tarski's High School Algebra Problem(arxiv.org)87 points by matt_d 2 months ago | 35 comments
From Quantum Relative Entropy to the Semiclassical Einstein Equations (2025)(arxiv.org)20 points by Luc 2 months ago | 1 comments
Chebyshev Polynomials in the 16th Century (2022)(arxiv.org)95 points by IdealeZahlen 1 year ago | 32 comments