AI Just Had Another Math Breakthrough–With Help from a High-School Dropout | Hacker News Reader