2 ms·
Which, admittedly, seems like a much harder problem. A world in which AI churns out amazing proofs would be pretty radical though.
by pfdietz 2y ago
Which, admittedly, seems like a much harder problem.
A world in which AI churns out amazing proofs would be pretty radical though.