"AI solves Impossible Math Problem"

*looks inside*

"Mathematicians use machine learning to help find key counterexample in still unproven conjecture"