DeepSeek quietly updates math proof model, Prover-V2
FutureHouse launches AI platform with four tools for scientists