Oh wow, I'm fairly impressed. I wouldn't have expected AI to solve a problem this hard just now.

There have been claims of complex structures on s6 (or absence of them) quite a few times over the last 15 years. Some by acclaimed mathematicians. There was some discussions on HN a few days ago:

https://news.ycombinator.com/item?id=49412947