News for hackers. Stuff that matters.

A comment on How I learned to love and fear the Riemann Hypothesis. Parent comment

Re:How I learned to love and fear the Riemann Hypothesis by touisteur on Tuesday January 05, 2021 @05:18PM (#25651966)
Maybe that'll be time to bring in AlphaProofReductor or AlphaProofCanonizer. I'm finding this worry a bit strange. I'm guessing tools evolve together depending on need, so as long as humans want to know 'why and how' there'll be some effort in reduction?
[ Parent | on HN ]

There are no comments on this comment yet.