Even benchmark improvements over Sol are not that great (and they certainly tried). If we exclude the weird ARC-AGI situation.