Cool website I found that tracks all open problems solved or claimed to be solved by AI so farRedditJul 27, 2026 04:39ShareWebsite: https://aimath.robertj1.com/
