Looking forward to the 5 billion LoC proof of the Riemann hypothesis.
If AI manages to prove, or disprove, I wonder what would Clay Foundation do for the prize.
alt Hacker News
If AI manages to prove, or disprove, I wonder what would Clay Foundation do for the prize.