I don’t agree it needs to provide a solution off the bat. But I do agree there is some initial weights you need to define.

With a AI-first language, I suspect the primitives to be more similar to assembly or WASM rather than something human readable like Rust or Python. So the amount of pre-training preparation would’ve a little easier since syntax errors due to parser constraints.

I’m not suggesting this would be easy though haha. I think it’s a solvable problem but that doesn’t mean it’s easy.