Tagged #science

Mathematicians will need years to check what the proof machine just wrote

A system produced a 400-page argument for an old conjecture overnight. Verifying it is now a human-sized problem.