News for hackers. Stuff that matters.
Re:AlphaProof's Greatest Hits: the coolest bits from the IMO... by auggierose on Monday November 18, 2024 @01:55AM (#42170367)
There is something called applied math, and there is a big gulf between applied math and pure math. This new technology has the potential of making use of much more "pure math" for applied math, unifying much of pure math, applied math, and programming. I don't really care about the RH, I care about that.

There are no comments on this comment yet.