🤖 DeepSeek-Prover-V2: cuando la IA empieza a demostrar matemáticas

Las matemáticas formales suelen estar fuera del alcance de muchos… pero eso está empezando a cambiar. Y no porque se simplifiquen, sino porque una IA ha aprendido a entenderlas y resolverlas paso a paso. Se llama DeepSeek-Prover-V2 y viene de…