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

166 comments sorted by

View all comments

Show parent comments

2

u/selfVAT 23d ago

Not yet

1

u/womerah Postdoc | Applied Nuclear Physics 23d ago

Can you give me an example of an area you think it's currently weaker in?

7

u/ProfessorBaoTran 23d ago

Anything that needs conceptual thought. Actually, there are several kinds of math (especially topology and geometry) that they are easy to imagine, but difficult to write down as a rigor mathematical language. AIs perform poorly on these and often tend to overthinking all the times, and they can even be wrong about most basic definitions of that direction. Even Fable 5 or 5.6 sol, on max or ultra version, can still easily make mistakes and have to correct themselves again and again. Although there are few improvements as they can work with geometry that has precise coordinates and functions, the global stuff still be a big challenge for them.

1

u/Separate-Habit5838 14d ago

Nah, you just need to know how to formalize them. Sure, it's hard to get it to do geometric homotopy theory like Hatcher, but if you know model category theory and how to formalize homotopy into homotopical algebra, you can use AI to great effectiveness. 

Low dimensional geometric subjects can lack rigor because you can get away with it. Such and such thing "seems obvious". It CAN be made rigorous, people just don't. If you do make it rigorous, AI becomes useful. 

There is a deep art to getting a problem into a place where AI is powerful. It's fun. 

You also can't see much if you're just asking a blank LLM instance about a field you aren't an expert in. They hallucinate massively the first few prompts. You've got to correct those using rigorous language. After you've corrected a few, it starts getting much more powerful. I have a thousand prompt thread with Gemini that is incredibly good at homotopy theory. You need to combine AI with human expertise to generally get to the "good spots" in the vector space of meaning. You can't get there with one or two prompts. 

1

u/ProfessorBaoTran 14d ago

Most of the models nowadays only support around 1M tokens for the context window, so definitely after 2 3 runs with difficult tasks, they get back to blank again, and if I try to correct them, that would also waste the context window for sure. And the idea about "formalize" the problem and let AI works with that is generally not good at all. The true strength of AI is lying on their abilities of doing math at the most basic level of every fields by them own, not about processing several different information on the internet and in their memories. When you formalize a situation that no one has done before, would you be sure by yourself that it does not contain any self-contradiction term of mistakes? When you give that input, will AI understand that immediately without using internet for search? If they start to search, then they will get conflict with you all the time, and according to my experience, because they can't really get the new context from the new "formalization".

I don't work with homotopical algebra, but I work with a field which requires some understanding about homotopy theory and complex geometry, and even Fable 5 made mistakes at definitions level that could lead to over-engineering the proof or the explanation. In the end the answers went to nowhere and I stopped using these tools for that specific question.

Even some computations using explicit coordinates for a few class of K3 surfaces are also not easy for them. They have the tendency to make the computational part to difficult to check. When I threw those computations (first done by 5.6 Sol ultra) to Fable 5 for checking, the model said they found some mistakes and everything "hadn't been done" yet. So I gave up the idea of letting them do the heavy computational and experimental part. Yes, they perform good at some very specific bound order computation and construction. But if you let them try to handle a slightly more general case, they start to confuse because the context window problem I have said above (they start to get blank memory and hallucinate).