Irrelevant. Open models are competent code generators. No you don't need millions of H100 hours to build them.
Not for everyone. Not all of us (especially unemployed) have the big bucks to buy the machines required.
But you can download gcc in a cheap laptop and create a theorem prover e.g.
{"deleted":true,"id":49190294,"parent":49188161,"time":1785971315,"type":"comment"}