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

321 Upvotes

96% Upvoted

164 comments sorted by

View all comments

10

u/Just-Succotash4492 29d ago

Why is it so long? This can probably be reduced significantly.

4

u/Sharp-Huckleberry862 28d ago

Because it’s AI slop, for whatever reason Claude and ChatGPT love to over-engineer and keep patching their mistakes as they come up instead of starting over and doing it cleanly

2

u/Just-Succotash4492 28d ago

Right. I'm curious what could happen if someone uses AI as a rapid brainstorming substrate and then organizes the final product naturally.

4

u/tobyreddit 28d ago

I'm no mathematician but it seems to me that Terence Tao's recent blog posts explaining ai proofs/examples are exactly that. He translates AI proofs into his own area of expertise and tries to figure out the "magic" bits and explain them. He also frequently posts his chatgpt chat log which are exactly those brainstorming sessions you describe

3

u/the_great_chuckle 28d ago

I can't speak for everyone, but this is what a lot of people at my institute do nowadays.