DeepSeek Math V2
A huge open weights math model aimed at proofs and problem solving. It is tuned for contests like IMO and Putnam and licensed so companies can use and fine tune it for real world scientific and engineering work.

→ View original post on X — @futurepedia_io