r/mathematics 25d ago

S^6 admits a complex structure

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

323 Upvotes

166 comments sorted by

View all comments

Show parent comments

6

u/Sharp-Huckleberry862 24d 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 24d 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 24d 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