Comment by shearerp
4 hours ago
Notice how it goes from "we proved Fields-medal level stuff" to "promising leads" when we go to the world of biology. Still awesome, but speaks to the limitations of pure thinking in a more applied subject. No automatic cancer cures today.
Let's keep in mind though that mathematics is a sequence of logical inferences which doesn't fight against anything whereas a cure for cancer is a fight against errors and entropy.
The logical aspect of math is taken care of (validated, confirmed, judged, etc.) by lean and not the AI. That makes it hard to achieve the same results in fields like biology following the same, otherwise effective, AI guided brute force methods.
I'm a mathematician and I'm the biggest fighter most people have ever met this side of a PhD. It always felt like a fight to me personally, against the errors and entropy of my own mind. Not identical to cancer fighting but I'd say only the tactics are different.
Cure cancer? The best we can do is promise that cancer will be cured at some undetermined date in the future if you pay trillions first. Have some deepfakes in the meantime.