Proving 500B Parameter Models Kernel by Kernel - Rollup News