If the Riemann hypothesis is solved primarily by a AI system it will not be as a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Jtarii 23 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

If the Riemann hypothesis is solved primarily by a AI system it will not be as awe inspiring as if a human solved it.

That is just how it is.

willmarch 23 days ago [–]

Why?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact