AI’s TwIL-8B is an 8.8B open-weights reasoning model scoring 98.2 on MATH-500 and running locally in 4.98 GiB.