Re:Mathematician's anger over his unread 500-page proof
by temuze on Friday January 09, 2015 @02:57PM
(#8864136)
You mean x amount of Fields medals. There is no Nobel for math.
Also, this is a lot harder than you think. "Extrapolating" from a learning set is relatively easy to do for statistical problems and prediction, but proofs are hard.
Also, this is a lot harder than you think. "Extrapolating" from a learning set is relatively easy to do for statistical problems and prediction, but proofs are hard.