Comment by bemtevi
6 hours ago
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.
6 hours ago
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.
I agree - to quote my goat Paul Halmos:
"Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis?"
It's a fight! I envision myself as Jacob wrestling the angel.