Re:A fleet of computers helps settle a 90-year-old math problem
by throwaway_pdp09 on Thursday August 27, 2020 @06:55AM
(#24292321)
Perhaps you can offer something better?
[ Parent
| on HN ]
Re:A fleet of computers helps settle a 90-year-old math problem
by Joker_vD on Thursday August 27, 2020 @07:35AM
(#24292607)
How about: a group of highly sophisticated and very skilled mathematicians generate a proof no mere mortals (and lesser mathematicians) can understand, but fret not: another genius mathematician can assure us of its validity.
Hmmmmmmm. Yeah, that sounds much better. What do you think?