Deepseek-ai Deepseek-r1
DeepSeek also announced a new theorem showing benchmark called ' ProverBench ', which often contains 325 problems such as the AIME assessment questions used to qualify for the Mathematical Olympiad.…