VibeMathed - Math Problems Solved by AI

Math problems solved by AI Tracked problems440325 fully resolved Combined years open6,469before AI closed them Lean-verified130machine-checked Community members9071 votes · 19 comments Latest activity Edits, submissions and discussion LuckyHawk816 commented on 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows2 hours ago BraveDingo215 commented on 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows4 hours ago LuckyWalrus342 commented on 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows11 hours ago Rasmus Lindahl changed the name on Gromov and Weiss's Question on Sofic Groups to “Gromov and Weiss's Question on Sofic Groups (named the quest…”19 hours ago LuckyWalrus342 commented on 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows19 hours ago GoldenMongoose827 changed the result qualifier on Growth Constants for Lipschitz Functions on Sparse Random Graphs to “Resolved the sharp constant (w.h.p.) for random graphs G(n, …”1 day ago Rasmus Lindahl changed the source on Erdős's Planar Unit Distance Conjecture to “the verifiers' own arXiv paper (2605.20695)”1 day ago JollyJackal127 changed the model on Gaussian product inequality conjecture to “ChatGPT 5.6 Sol (Work Max)”1 day ago Rasmus Lindahl cleared the posed by on Strong Convergence of Cesaro Means of Firmly Nonexpansive Iterates1 day ago Rasmus Lindahl changed the what the ai did on The Papamanthou-Tollis Conjecture on Parameterized st-Orientations to “full disclosure: the debugging loop, the wrong counterexampl…”1 day ago Just solved Most recent results Product conjecture3 Aug Two-terminal reliability3 Aug Ehrhart equality case2 Aug Schubitope positivity1 Aug Pólya, Neumann balls31 Jul Longest standing Open the longest before falling Jacobian Conjectureopen 87y Unit Distance Conj.open 80y Pólya, Neumann ballsopen 72y Lost in a forest (gnomon)open 70y Kac walk cutoffopen 70y All entries