243 karma · joined March 27, 2017
For example, predicting which party will win an election, or if there will be a major cyber event in the next year, or the price of Gold in 6 months. Presumably a few of the questions could be related to climate as you're thinking of.
I do think that is one goal of math but I don't think it's the only one.
I think an additional goal is simply "truth", which can be found without understanding as we've seen with these human-incomprehensible proofs.
Yet another is practical applications. While there's less of these in pure mathematics than in most domains, they do still exist.
To me, it seems just as extraordinary to claim that they did "cheat". If I were a betting man, I would put the odds around 50/50 from everything I've read on the subject.
But my point is that everyone seems to be presuming guilt.
There's many cases of researchers racing to solve various problems after hearing that others are working on them. I don't think anyone's suggesting that it was a coincidence at all. In fact, OpenAI freely admits that they started working on the problem after hearing rumours that others were close to solving it. To me, that's not evidence of "cheating" in any way.
Everyone in this thread seems to have made up their mind about OpenAI's guilt though.
This is not necessarily a conclusion you can draw from that statement. It's possible that as the economic pie grows, workers' purchasing power increases compared to the counterfactual (a non-AI world), but their purchasing power does not increase as much as the capital owners' does.
https://www.economist.com/finance-and-economics/2026/09/04/t...
However, if they had published first, it's hard to imagine Anthropic not taking the opportunity to claim "our employee solved this Millennium prize problem using our AI".
If you were navigating a pitch dark cave, wouldn't you find it useful to be able to see the light of the cave opening even if it's not bright enough to illuminate your path to it?
My first thought is a detailed Hogwarts that is fully explorable using scenes from the movies (or even descriptions from the books?)
A proof can just be "assuming these axioms.....the area of a triangle is X"
If I understand you correctly, you're just qualifying that that will only be the case when AGI exists. To be clear, I actually disagree with you here because I think it's very plausible to find a use case for human-incomprehensible math proofs before AGI exists. I'm just saying it sounds like you're agreeing with the parent comment that math is not purely about human comprehension.
The article seems to imply this is not the case. Do you have a source that says that Orexin agonism is the mechanism of action for modafinil?