Viewing profile — QuesnayJr

As it stands now, the frontier models can prove theorems where the techniques exist in the literature, which it knows better than anyone who's ever lived and won't quit where a hum…

You remember correctly. His result is a special case of Langlands.

Your reply isn't a response to the comment, but rather a general expression of antipathy towards mathematicians, who are apparently fatcats who have fancy lifestyles. OpenAI sat on…

They are more than a strong student could achieve. I'm not equally familiar with the problems, but the ones I'm familiar with, if a student solved them people would be thinking "th…

The ones I'm familiar with are big breakthroughs, but they are both counterexamples. Examples have an advantage in that once you have the example in hand and a sketch of the proof …

The Maxwell conjecture was a conjecture in theoretical physics (though not a particularly important one)

Mostly the significance of a conjecture is that we don't know the answer. A conjecture is successfully resolved if it proven or disproven. (In fact, of the three big conjectures to…

When that day comes, you think they won't? They spent their lives carefully honing a skill that is now worthless.

There was no particular reason to think it was true. It's easy to find examples using exponentials or trig functions where it's not true. But it would be neat if it was true, and n…

I remember back when Gemini looked like it was the best model that this comment section was full of confident predictions that Google had "won" and that no one would ever catch up …

If the poster's (is it Kevin Buzzard?) suggestion works out and AI finds a counterexample to the Hodge conjecture, that would be a really big deal. It's one of the Millenium proble…

That's not at all the scenario you proposed. You proposed a simple proof that Fermat himself would understand. We have developed a tremendous amount of math since Fermat, and if no…

No. I would say that it was easy, and that something had gone terribly wrong with math research that we missed it.

This seems like the next step, but the smallest counterexample in n=2 is degree greater than 100. (This is a paper of Moh. Wikipedia has details.)

The retrospective view is important, though. In retrospect, these problems weren't that hard. (The unit distance graph problem was the hardest.) There are some problems that still …

Why would I try it to win an argument on HN? That's a bizarre suggestion. Just look at the degree. If it were degree 47 in 17 variables then it wouldn't be surprising, but here it'…

It was known to be false in general. But there are many questions that are false in general, but true when restricted to polynomials.

I think in the long run mathematicians are probably fucked, but in the short run it's not that bad. All three of the big conjectures solved the answers were at the level where if y…

I haven't seen these claims, but all of the open problems that have been solved so far have been in the category of "humans could have solved them, but didn't". This doesn't dimini…

There's a certain (unfair) stereotype of Russian mathematicians that this fits.

If governments introduced a whataboutism sin tax, they could solve budget deficits overnight.

Both systems are at end-of-life. If anything, China is closer to the end. The total fertility rate in China is down to 1, while the US is 1.62.

At this point you're just openly shilling for the CCP. The CCP killed millions of people through incompetence, and then they had the brilliant idea of copying the exact development…

Philosophy majors do surprisingly well in getting jobs outside academia, so I think the market demand for confusion is bigger than you might guess.

They get paid to produce confusion.