"Fan Factories: Multiple Number Fields in Factorization Factories and Batch NFS" draft from Google Deep Mind to improve factoring: storage.googleapis.com/deepmind-media…
Anthropic is releasing an open source library, FlashProve, for provable inference. It was measured on Llama 4 Maverick, a 400B-parameter mixture of experts model.