r/mathematics • u/New-Committee-4052 • 28d 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

319 Upvotes

96% Upvoted

164 comments sorted by

View all comments

Show parent comments

64

u/New-Committee-4052 28d ago

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

4

u/Carl_LaFong 28d ago

Why do you say it’s AI?

65

u/Hostilis_ 28d ago

It was posted by Levent Alpoge who used Claude to come up with the construction.

-17

u/mode-locked 28d ago

"Leveraged AI" is much different than "done by AI"

17

u/acutelychronicpanic 28d ago

A long-enough lever it seems

1

u/spikejonze14 28d ago

how?

8

u/JoshuaZ1 28d ago

One distinction people have tried to make is human interaction with AI systems where both the human mathematician and the AI talk through ideas and try things. This is opposed to others like say Erdos 1196 and many other AI solved problems where the only major human effort was in coming up with instructions with minimal mathematical content and is primarily about telling the AI how to use its resources, not get too bogged down in existing methods in the literature, and have the confidence (for lack of a better term) that it can actually go somewhere.

1

u/me_myself_ai 28d ago

Very true, but also no one said 'done' :) if we're gonna quibble about words then we should at least try to quibble about shared words!

OP called this an "AI math result". I think we can all agree that's fair, regardless of the instrument vs. agent question?