Reading up on Sol
4 deep · digging since jul 08
- Human mathematicians are being outcounterexampled
AI tools have rapidly generated and formalized counterexamples to longstanding conjectures such as Erdős’ unit distance, Grothendieck’s group scheme problem, and the Jacobian conjecture, showing machines now out‑counterexample humans.
- China’s Latest A.I. Breakthrough Threatens America’s Lead
China's Moonshot AI released a free AI model that narrows the performance gap with leading U.S. models, matching or exceeding them in certain benchmark tests.
Takes
I'm working on some new sections for the Solo homepage and needed new illustrations. Instead of having Sol try to one-shot it, I had it build me a little studio. It can still access the raw SVG, but I also have knobs I can tweak. Now we work iteratively until it looks perfect!
@aarondfrancis
I had early access to 5.6/Sol for ~month. Sol is my default. It is faster, plans/judges just as good as Fable, and I think produces better overall work. I’ll reach for Fable still for highly targeted debug or performance work with clear reward functions. A cheeky way I describe Sol vs Fable to my friends is that Sol is a charismatic, efficient, talented coworker you’re jealous of. Fable is a genius recluse that is brilliant at its fixations but doesn’t go out, doesn’t date, and you don’t want to hang out with them much lol. Fable is undefeated at highly targeted debug/security/performance goals. It’s a sight to behold and I was never able to get Sol to push as hard in this category. I’ll keep using it for this. Sol is better or comparable at everything else, in my experience. Give it a shot, it’s hard to describe but it’s just more enjoyable to work with. (Disclaimer I have no financial ties to either lab, wasn’t paid for any of this.)
@mitchellh