Transcripción original · inglés

DeepSeek-Prover-V2 and Its Formal Math Results

MBMatthew BermanPonente · Forward Future
Canal
Matthew Berman
Vídeo
0:34
Idioma de la transcripción
inglés
Fuente
Subtítulos automáticos de YouTube, sin revisar

Esta es la transcripción original del vídeo, tal cual y sin editar. El texto completo editado, el resumen y las traducciones están en la página del artículo.

Volver al artículoAbrir en YouTube

Cargando la transcripción…