2 ms·Affordable AI+human insight helped us close 40yr sporadic group Galois problem3 points by oliculipolicula 2mo ago