Es un poco triste para Putnam, pero la secuencia DeepSeek-Prover-2 > Seed-Prover seguirá siendo una parte integral de la historia de las matemáticas de LLM.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.