Re:Ten advances in mathematics and theoretical computer science
by zahlman on Monday August 03, 2026 @04:20PM
(#49160900)
> they can certainly disprove some of them very quickly through the kind of grind that humans can't do
Of course computers can grind in a way that humans can't. But now we have systems that convert the human-comprehensible ideas into a computer's plan of attack, in a way that greatly expands the frontier of ideas thus treatable.
Of course computers can grind in a way that humans can't. But now we have systems that convert the human-comprehensible ideas into a computer's plan of attack, in a way that greatly expands the frontier of ideas thus treatable.