AI system 'Theo Conjecture' solves 35-year-old math conjecture, finds a term no one predictedRedditJul 29, 2026 20:24Sharefirstprinciples.com