Commentary on X
It was making the most random changes to my skill files. It didn’t even know why. It can’t communicate. It is saying recovering instead of copying. Why does this matter, because I need to know why something needs to be recovered! Spent $100 today for the Pro plan and after a day of use I do not trust it with any of my existing files! Cancelled
6:45 PM · Jul 14, 2026@littmath I have some leftover problems from my phd that I test models on and Sol is providing by far the best results on them.
8:51 AM · Jul 14, 2026@littmath It's extremely strong if you force it to formalize in lean before answering with confidence.
2:23 PM · Jul 14, 2026View all
Overall I think 5.6 Sol Pro/Ultra etc. seems to be a substantial step up from 5.5 for math. That said, common interaction pattern is: I ask a question. It thinks for ~100+ minutes and returns a largely inscrutable response. I ask it to explain. It thinks for 20 minutes and says:
7:34 AM · Jul 14, 2026I've rarely identified with a model more than this.
5:21 PM · Jul 14, 2026