Jakub Pachocki, who leads the firm’s development of advanced models, is excited to release an open version to researchers.

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has ...