An expert vouched for an AI's multiplication breakthrough without reading its proof (web.maths.unsw.edu.au)
The claimed gain is a factor of (log n)^ε with ε = 2^-182, which the thread mocked as microscopic. Harvey calls it "gobsmackingly enormous": the first crack in a bound he had treated as a hard physical limit.
A game developer's reply on HN: "this does not feel like a healthy place to be."
Sign in to save