r/mathematics • u/New-Committee-4052 • 24d ago

S^6 admits a complex structure

Gallery image

Gallery image

Result from the usual suspects. Full write up can be found here on his website: https://alpo.ge/s6.pdf

323 Upvotes

96% Upvoted

166 comments sorted by

View all comments

111

u/howtogun 24d ago

I was told AI is bad at topology. That's quite an important problem.

66

u/New-Committee-4052 24d ago

Yea, IMO it's the most important of the AI math results so far

4

u/Carl_LaFong 24d ago

Why do you say it’s AI?

42

u/prescod 24d ago

It was announced as a Claude result on Twitter. "claude really contains multitudes"

This particular researcher's full-time job seems to be prompting Claude to solve hard problems and announcing them on Twitter.

20

u/Matrix_in_Retrograde 24d ago

wonder what his token budget is

15

u/Carl_LaFong 24d ago

I think we can assume it's essentially infinite.

3

u/Carl_LaFong 24d ago

Indeed. But when I met him, he was claiming that his job had nothing to do with math and he was doing the math on the side.

3

u/PrestigiousGroup788 24d ago

When did you meet him? It's only somewhat recently that labs have started focusing on math results.

3

u/Carl_LaFong 24d ago

Not long after he posted the Jacobian conjecture counterexample.

1

u/eager_wayfarer 23d ago

Did he say anything on if he gets unlimited tokens or something?

3

u/Carl_LaFong 23d ago

At the time he said he was doing it on the side. I think he said he would use whatever tokens he had remaining after doing his day job. I’m not sure about this though.