V2, a new math-oriented model aimed at improving how AI systems approach formal reasoning. The release follows the company’s ...