Chebyshev Polynomials in the 16th Century (2022)(arxiv.org)95 points by IdealeZahlen 1 year ago | 32 comments
Mathematical methods and human thought in the age of AI(arxiv.org)195 points by zaikunzhang 7 months ago | 80 comments
A SAT Attack on Tarski's High School Algebra Problem(arxiv.org)87 points by matt_d 2 months ago | 35 comments