3 ms·
I can't agree there's a plateau just a few weeks after two companies got gold medals at IOI and IMO using natural language (no Lean). Seems like progress is con
by energy123 1y ago
I can't agree there's a plateau just a few weeks after two companies got gold medals at IOI and IMO using natural language (no Lean). Seems like progress is continuing nicely.
- spreaditononon 1y agoThan propaganda is working nicely on you I am using the current models and they are still as useful as 6 or 12 months ago The deal is still about the same: if you bother to do most of the hard part (thinking it through) the code generators can just about generate all the boilerplate Yeah. Amazing.
- energy123 1y agoYou aren't using those models. They aren't released.