21–30 of 37 posts
This is the most offensively-themed serious site I have ever seen.
Personally, I liked the design when zoomed in when combined with the rest of the page design. It reminds me of the 90s (Wired magazine, etc.). "Updated November 2000". That explains it.
Recent LLM dingers like the Jacobian Conjecture counterexample have challenged the efficient mathematics hypothesis. The JC counterexample was so small in degree and coefficient. It should have been a "low fruit" in the scheme of things, but alas, unpicked for 50+ years with considerable attention from good mathematicians. With respect to FLT, my hopes have modestly increased that a truly marvelous demonstration of t…
(the site is : "An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover.")
> AW: I don't believe Fermat had a proof. I think he fooled himself into thinking he had a proof. But what has made this problem special for amateurs is that there's a tiny possibility that there does exist an elegant 17th-century proof.
Yes, it's generally accepted that Fermat didn't in fact have a proof, with the tools available to him at the time. But wouldn't it be cool to send some AI on this chase and see what comes back? Is anyone attempting this?
This is the most offensively-themed serious site I have ever seen.
Table-based layout, font tags, map/area tags. Only thing missing is an unnecessarily imported jQuery.
Earlier quoted context omitted.
It's a pun on "efficient markets hypothesis". The efficient markets hypothesis says the market prices incorporate all available information and there's no such thing as a cheap stock, so there's no easy money to be made by trading. The math equivalent is presumably that all easy problems have been solved and all open problems should be very very hard. This has turned out not to be the case as LLMs have found simple c…
They're the same thing; knowledge markets are markets.
I have a truly marvellous comment on this, which this comment box is too small to contain.
FWIW, it seems pretty clear that while Fermat briefly thought he had a proof, he fairly quickly realized it was flawed since he never mentioned this publicly and later went on to develop a proof just for the simple n=4 case. In 1847 Gabriel Lami presented a claimed (simple) general proof to the French Academy of Sciences, only for the flawed assumption in it to be pointed out immediately at the end of his presentatio…
Earlier quoted context omitted.
They're the same thing; knowledge markets are markets.
Not really, the incentives for each are not binary values. There are bounties on the 10 millennium problems (that haven't been increased in 25 years), but there isn't much motivation beyond that. You get some street cred and your name in a prestigious journal. That's not-nothing but can't hold a candle to the potential fortunes of the market.
Strictly speaking, if you constructively prove P=NP and the solver has reasonable time complexity, e.g. quadratic, it could make you incredibly rich. If you don't attract the wrong kind of attention from the world's intelligence agencies first...
Earlier quoted context omitted.
They're the same thing; knowledge markets are markets.
Not really, the incentives for each are not binary values. There are bounties on the 10 millennium problems (that haven't been increased in 25 years), but there isn't much motivation beyond that. You get some street cred and your name in a prestigious journal. That's not-nothing but can't hold a candle to the potential fortunes of the market.
> That's not-nothing but can't hold a candle to the potential fortunes of the market.
a market is where things are sold and bought. there are lots of markets which aren't as well capitalized as financial markets - your local farmer's market doesn't "hold a candle to the potential fortunes of the market" but it's still a market (and presumably the efficient market hypothesis still applies).
This is the most offensively-themed serious site I have ever seen.
The view-source is like a portal to Year 2000. Table-based layout, font tags, map/area tags. Only thing missing is an unnecessarily imported jQuery.