Affordable AI+human insight helped us close 40yr sporadic group Galois problem | Dark Hacker News