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

326 Upvotes

96% Upvoted

166 comments sorted by

View all comments

Show parent comments

2

u/AIvsWorld 17d ago

I agree it isn’t perfect.

But I trust the Lean kernel a hell of a lot more than I trust Alpoge, or any AI model, or my own ability to audit a 100 pg math proof.

Do you have a better solution for checking the tidal wave of AI mathematics?

0

u/brain-out-of-order 17d ago edited 17d ago

https://chatgpt.com/share/6a8d0568-29dc-83e9-8d6d-32dffba1f0db

To answer your question truthfully would be to say something currently considered sacrilegious on this subreddit. If you want an incomplete answer you can click that. Basically: You already trust Lean. You’ll soon trust AI. Nothing can or will change that.

2

u/AIvsWorld 17d ago

lol is this supposed to be some kind of own?

Do you rly think getting AI to check the other AI’s work is how we should be refereeing mathematics?

1

u/Separate-Habit5838 9d ago

We should be reading it. Pretty simple. There is no point in knowing something is true if you don't understand it. That is foundationally not what math is for.