proofing

DeepSeek silently updates open-source design for mathematics proofing

Journalism launch follows the launching of its precursor, Prover-V1.5, released in August 2024.