DeepSeek-Prover-V2: la inteligencia artificial que entiende matemáticas mejor que muchos humanos

DeepSeek-Prover-V2 puede entender y verificar pruebas existentes, detectar errores, proponer correcciones y generar demostraciones desde cero

DeepSeek-Prover-V2 puede entender y verificar pruebas existentes, detectar errores, proponer correcciones y generar demostraciones desde cero

DeepSeek-Prover-V2 es una inteligencia artificial desarrollada por la empresa china DeepSeek, que entiende demostraciones formales, encuentra errores en teoremas y sugiere nuevos caminos para resolver problemas complejos. Tiene dos versiones: una con 7 mil millones de parámetros y otra con 671 mil millones de parámetros. Es gratuito y de código abierto, y puede ser utilizado como tutor virtual, herramienta educativa, en investigación avanzada, desarrollo de software y divulgación científica.

Crítica:El artículo promete mucho, pero no entrega suficiente. La idea de una inteligencia artificial que entiende matemáticas mejor que los humanos es emocionante, pero la implementación y los detalles son un poco vagos. Sin embargo, el hecho de que sea gratuito y de código abierto es un gran paso hacia la democratización del conocimiento. En resumen, es un artículo interesante, pero que deja algunas preguntas sin respuesta. ¿Será DeepSeek-Prover-V2 el nuevo mejor amigo de los matemáticos? Solo el tiempo lo dirá.
fuente wwwhatsnew.com
05-05-2025 22:00

Tecnología
Resumir link
Últimos artículos Ciencia Compras Corazón Cultura Curiosidades Deportes Economía Entretenimiento Política Salud Tecnología Últimos artículos Resumir link
Prover V2 utiliza una arquitectura Mixture-of-Experts con 671.000 millones de parámetros para resolver teoremas

DeepSeek Prover V2: la inteligencia artificial que resuelve teoremas con miles de cerebros expertos

DeepSeek Prover V2 es un modelo de IA que resuelve teoremas con precisión y eficiencia, gracias a su arquitectura Mixture-of-Experts y 671.000 millones de parámetros. Fue lanzado en agosto de 2024 y ha sido actualizado para mejorar su rendimiento. Está diseñado para razonar de forma lógica y llegar a conclusiones siguiendo las reglas estrictas de las matemáticas. Puede ser utilizado en campos como la verificación de software, la investigación científica y la educación. La compañía DeepSeek también ha lanzado una versión mejorada de su modelo generalista V3 y está preparando la actualización de R1, su modelo especializado en razonamiento.
...promete mucho, pero no entrega suficiente contenido para satisfacer la curiosidad del lector. Es como un trailer de una película que muestra solo los efectos especiales, pero no cuenta la historia. Aun así, es interesante ver cómo la inteligencia artificial está avanzando en el campo de las matemáticas y esperamos ver más aplicaciones prácticas en el futuro. ¡Quizás pronto podamos resolver nuestros problemas matemáticos con solo pedirle a un robot que nos haga los deberes!
wwwhatsnew.com Informática
La criptografía post-cuántica es la respuesta a la amenaza del colapso de la seguridad digital

Se acerca un colapso invisible llamado "Día Q": por qué los bancos temen al poder oculto de la computación cuántica

La tecnología cuántica avanza rápidamente y podría vulnerar la criptografía de clave pública en un plazo de cinco años, lo que podría exponer a bancos, gobiernos y grandes organizaciones. El denominado 'Día Q' se refiere al momento en que las computadoras cuánticas logren romper las barreras de seguridad actuales. La criptografía post-cuántica (PQC) es la respuesta a esta amenaza, y empresas como Platinum Ciber ya están ofreciendo servicios de protección post-cuántica. El experto Carlos Benítez advierte que si no se toman medidas, la información que hoy parece segura podría ser expuesta en 2030.
...es como un thriller de ciencia ficción, pero en lugar de alienígenas y robots, nos habla de la amenaza de la tecnología cuántica para la seguridad digital. Aunque el título es un poco sensacionalista, el contenido es interesante y nos hace reflexionar sobre la importancia de la criptografía post-cuántica. En resumen, es un artículo que nos hace preguntarnos si estamos preparados para el 'Día Q'... y la respuesta es probablemente no.
es.gizmodo.com Tecnología
AI Mode está disponible para todos los usuarios mayores de 18 años en Estados Unidos

AI Mode de Google: así funciona el nuevo buscador con inteligencia artificial, disponible ya en todo EE.UU.

Google ha lanzado AI Mode, una función que permite mantener conversaciones fluidas y encadenadas en el buscador, disponible para todos los usuarios mayores de 18 años en Estados Unidos. AI Mode se presenta como una pestaña independiente dentro de Google Labs y ofrece tarjetas visuales y un historial de conversaciones. La función permite acceder a datos de Google, como horarios comerciales y reseñas de usuarios, y se puede utilizar para realizar búsquedas más complejas. La privacidad es un tema incierto en AI Mode, ya que no está claro cómo se manejarán los datos de los usuarios.
...promete revelar los secretos de AI Mode, pero en realidad solo nos muestra la punta del iceberg. Aun así, es emocionante ver cómo Google está revolucionando la forma en que interactuamos con la información en línea. ¡Esperemos que la privacidad no sea el precio que pagamos por esta comodidad!
wwwhatsnew.com Tecnología
LUMI alcanza 380 Petaflop/s con más de 180.000 núcleos

Europa vuelve a subirse al carro de los Superordenadores con AMD LUMI: nuevas CPU EPYC y GPU Instinct para "cambiar el mundo"

El superordenador LUMI, ubicado en Finlandia, utiliza CPU EPYC y GPU Instinct de AMD para ser uno de los más rápidos en Europa, con un rendimiento de 380 Petaflop/s y más de 180.000 núcleos. Su objetivo es completar proyectos como la lucha contra el cambio climático, prevenir catástrofes naturales y investigar enfermedades como el cáncer de mama y Alzheimer. En 2022, ocupaba el tercer lugar en la lista TOP500, pero en 2024 cayó al octavo puesto.
...promete 'cambiar el mundo' con el superordenador LUMI, pero en realidad solo nos muestra un montón de números y especificaciones técnicas. ¿Es esto realmente lo que necesitamos para 'cambiar el mundo'? ¿O solo es un ejercicio de vanidad para los ingenieros de AMD? En cualquier caso, es emocionante ver cómo la tecnología puede ser utilizada para combatir el cambio climático y enfermedades, así que supongo que LUMI es un buen comienzo... pero no 'cambiará el mundo' solo por ser un superordenador rápido.
elchapuzasinformatico.com Informática
El problema de quemado se produce pese a una reducción del consumo del 33,3%

El cable que alimenta una RTX 5090 SUPRIM se quema pese a usar una moderna fuente de alimentación ATX 3.1

Un usuario de Corea del Sur reportó que su RTX 5090 SUPRIM se quemó pese a usar una fuente de alimentación moderna ATX 3.1 de 1.300W, con cuatro conectores de 8 pines directos y un adaptador suministrado por MSI. El usuario había realizado un undervolt para reducir el consumo de 600W a 400W, lo que supone una reducción del 33,3%. A pesar de esto, el conector de alimentación se quemó después de dos horas de juego. Otro usuario reportó un caso similar con el mismo modelo y adaptador, y no se produjeron problemas en el equipo, pero los conectores de alimentación se ennegrecieron.
Parece que NVIDIA tiene un problema en sus manos, y no es solo el calor que genera su tarjeta gráfica. La pregunta es, ¿cuántos usuarios más tendrán que sufrir este problema antes de que se tome medidas? La respuesta es simple: demasiados. Así que, si eres un usuario de RTX 5090 SUPRIM, asegúrate de revisar tus conectores de alimentación con frecuencia, o podrías acabar con un problema más grave que un simple quemado.
elchapuzasinformatico.com Informática
Scythe solo operará en Japón, EE.UU. y Taiwán

Scythe cierra definitivamente su división en Europa tras declararse en concurso de acreedores

Scythe ha cerrado definitivamente su división en Europa tras declararse en concurso de acreedores. La compañía ha emitido un comunicado oficial agradeciendo a sus clientes y anunciando que solo operará en tres mercados mundiales: Japón, EE.UU. y Taiwán. El cierre se produce después de que la empresa entrara en concurso de acreedores provisional. Scythe seguirá ofreciendo productos y atención al cliente a través de sus distribuidores europeos y plataformas de comercio electrónico en línea.
...es un ejemplo perfecto de cómo una noticia puede ser presentada de manera clara y concisa, sin dejar lugar a dudas. Sin embargo, la falta de detalles sobre los motivos del cierre de Scythe en Europa es un poco decepcionante. ¿Qué pasó con la empresa? ¿Fue la competencia china la culpable? ¿O fue simplemente un caso de mala gestión? La respuesta, al parecer, se llevó a la tumba... o al menos, a la sede de Scythe en Japón, EE.UU. y Taiwán.
elchapuzasinformatico.com Informática
Phi-4-Reasoning-Plus tiene 14.000 millones de parámetros

Phi-4-Reasoning-Plus: El modelo de IA de Microsoft que piensa como un humano… en menos espacio

Microsoft ha desarrollado Phi-4-Reasoning-Plus, un modelo de lenguaje de código abierto con 14.000 millones de parámetros, que puede razonar de forma estructurada y eficiente sin exigir grandes recursos. Fue entrenado con 16 mil millones de tokens y ha demostrado superar a modelos más grandes en tareas complejas como matemáticas y programación. El modelo utiliza una estrategia de fine-tuning supervisado y aprendizaje por refuerzo para mejorar su precisión y coherencia. Ha sido lanzado con una licencia MIT permisiva, lo que permite su uso, adaptación y mejora sin restricciones.
...promete un modelo de IA que piensa como un humano, pero en realidad solo nos muestra que Microsoft ha logrado crear un modelo más eficiente y pequeño. No es exactamente el Santo Grial de la inteligencia artificial, pero es un paso en la dirección correcta. La pregunta es, ¿qué pasará cuando los modelos de IA sean tan pequeños y eficientes que puedan caber en un reloj de pulsera? ¿Será el fin de la humanidad como la conocemos?
wwwhatsnew.com Informática
Conexión a internet por satélite de Starlink

Vivió el apagón "como si nada": así se mantuvo conectado en casa y con el iPhone cuando todo falló gracias a internet por satélite

Un usuario llamado Enric vivió el apagón en España sin problemas de conexión a internet gracias a su antena satélite de Starlink, que le proporcionó velocidades de entre 170 y 350 Mbps. La instalación fue sencilla y el costo fue de 349 euros por la antena y 49 euros al mes. La conexión satélite no depende de cables bajo tierra ni de antenas terrestres, por lo que es ideal para zonas rurales o áreas con mala cobertura. Starlink también ha lanzado un servicio llamado Starlink Direct to Cell, que permite a los usuarios conectarse directamente a un satélite con su iPhone sin necesidad de antena o router.
...es como un anuncio de Starlink, pero sin la parte aburrida de tener que leer un contrato de 10 páginas. En serio, es interesante ver cómo la tecnología puede salvarnos de la oscuridad (literalmente) y mantenernos conectados en momentos de crisis. Pero, ¿quién necesita amigos cuando tienes internet por satélite?
www.applesfera.com Tecnología
Se puede adquirir por 166,15 euros

Este Odyssey G5 de 32 pulgadas está listo para batir records. También en precio

El monitor Samsung Odyssey G5 LS32CG510EUXEN de 32 pulgadas tiene un precio oficial de 299 euros, pero se puede adquirir por 166,15 euros con descuentos y envío gratuito. Cuenta con un panel LCD VA plano, resolución QuadHD Ultra Wide, tasa de refresco de 165 Hz, tiempo de respuesta de 1 ms y compatibilidad con AMD FreeSync Premium.
...promete un monitor gaming asequible, y aunque el precio es tentador, la pregunta del millón es: ¿vale la pena sacrificar la calidad por un precio bajo? La respuesta es un rotundo sí, siempre y cuando no te importe tener un monitor que podría ser el doble de caro en un par de años. En serio, 166 euros por un monitor de 32 pulgadas es un regalo, así que no te lo pienses dos veces y cómpralo antes de que se acaben las existencias... o antes de que te des cuenta de que has comprado un monitor que podría ser un dinosaurio tecnológico en un par de años.
www.territorioese.com Informática
Cargar el iPhone todas las noches y tener una batería externa cargada

Si hay otro apagón, estaré prevenido. Así es como he preparado a mi iPhone

Un apagón puede dejar a una sociedad avanzada sin conexión, por lo que es importante prevenir y tener un plan de acción. Se pueden tomar medidas como cargar el iPhone todas las noches, tener una batería externa cargada, aprovechar todos los recursos de carga, descargar mapas offline, llevar una segunda SIM o eSIM de otro operador, activar las llamadas por Wi-Fi y los SMS en iMessage, y tener una checklist de trucos sencillos y consejos prácticos. También es importante tener recursos clásicos como cerillas, velas, agua congelada, radio de pilas, luces LED portátiles, comida no perecedera y entretenimiento sin batería. El iPhone puede ser una herramienta de seguridad y comunicación en situaciones críticas, y se puede activar el modo satélite para contactar con emergencias vía satélite.
...es una guía práctica para prepararse para un apagón, pero podría ser más conciso y directo. La información es útil, pero a veces se siente como una lista de tareas sin un enfoque claro. Sin embargo, es un buen recordatorio de la importancia de estar preparado para situaciones de emergencia. Y, como dice el artículo, 'preparar la casa para un apagón no es cosa de supervivientes, sino de sentido común'. ¡Así que vámonos a cargar nuestros iPhones y a comprar velas!
www.applesfera.com Tecnología
LinOSS es un modelo de IA que aprende del cerebro para predecir el futuro con una precisión de hasta dos veces mayor que otros modelos

LinOSS: el nuevo modelo de IA que aprende del cerebro para predecir el futuro

LinOSS es un modelo de inteligencia artificial desarrollado por el MIT que toma inspiración del cerebro humano y la física para mejorar la predicción de secuencias largas y complejas. Fue creado por T. Konstantin Rusch y Daniela Rus del laboratorio CSAIL del MIT. LinOSS se basa en el principio de osciladores armónicos forzados y puede aprender cualquier relación lógica entre causa y efecto. Fue sometido a pruebas y superó a otros modelos, incluyendo al popular modelo Mamba, con una precisión de hasta dos veces mayor en algunos casos. Fue seleccionado para una presentación oral en la conferencia ICLR 2025.
...promete mucho con su título, pero en realidad es un resumen de un modelo de IA que, aunque interesante, no revoluciona la forma en que pensamos sobre la predicción del futuro. Sin embargo, es un paso en la dirección correcta y muestra cómo la colaboración entre disciplinas puede dar lugar a soluciones innovadoras. En resumen, no es el fin del mundo, pero es un buen comienzo.
wwwhatsnew.com Informática
La dificultad de justificar la existencia de un modelo intermedio que no alcanza el nivel de un Pro, pero que a su vez sacrifica componentes clave para diferenciarse del modelo de entrada

Apple enfrenta su enigma eterno: ¿por qué nunca logra conquistar el corazón del usuario con su iPhone intermedio?

Apple lidera el mercado con sus iPhones más populares, pero el modelo intermedio sigue siendo un fracaso. Desde el iPhone 12, la marca ha lanzado cuatro variantes: el modelo base, una versión con apellido, y dos opciones Pro. El iPhone mini y el iPhone Plus no lograron encontrar su lugar, y ahora el futuro iPhone 17 Air carga con un pronóstico desfavorable. La industria del smartphone ha simplificado sus catálogos, eliminando modelos intermedios que no logran captar suficiente interés. El mercado está saturado y los consumidores buscan más autonomía, no móviles ultradelgados o con detalles estéticos poco relevantes.
...es como un iPhone intermedio: no logra convencer del todo. Aunque presenta algunos argumentos interesantes, como la saturación del mercado y la dificultad de justificar la existencia de un modelo intermedio, no logra ofrecer una respuesta clara y concisa al título. Es como si el artículo estuviera diciendo 'no sé, pero es un problema' en lugar de 'el problema es esto y esto es lo que podemos hacer al respecto'. En fin, un artículo que no logra ser ni un Pro ni un modelo de entrada, sino algo intermedio que no convence del todo.
es.gizmodo.com Tecnología
Share on Whatsapp Share on X Share on LinkedIn Share by Mail Copiar enlace