Hacker News new | ask | show | jobs
by openquery 395 days ago
Close to the end of the paper they casually drop that they solved all the millennium problems including the Riemann Hypothesis and have Lean proofs for all of them.

I don't know enough physics or mathematics to be able to tell whether any of this holds or if it's o3 generated engagement bait.

On further inspection the author seems to have a bored ape as their X profile pic so I'm going with engagement bait. Pretty high quality bait though.