Mensaje de Gate News, 24 de abril — DeepSeek V4 ha publicado resultados de evaluaciones de razonamiento matemático formal, logrando una puntuación perfecta de 120/120 en Putnam-2025, empatando con Axiom por el primer lugar.
En el régimen práctico, usando LeanExplore y muestreo con restricciones, V4-Flash-Max obtuvo 81.00 en el benchmark Putnam-200 Pass@8, superando significativamente a Seed-2.0-Prover (35.50), Gemini 3 Pro (26.50) y Seed-1.5-Prover (26.50). Los resultados del régimen de frontera mostraron a V4 por delante de Seed-1.5-Prover (110/120) y Aristotle (100/120).
V4 emplea un enfoque híbrido de razonamiento formal-informal: el razonamiento informal genera soluciones candidatas en lenguaje natural, la autoverificación filtra los resultados y un agente formal completa pruebas rigurosas en Lean. Los resultados del régimen de frontera utilizaron escalamiento computacional a gran escala, mientras que las puntuaciones del régimen práctico reflejan mejor las capacidades estándar de despliegue.
Aviso legal: La información de esta página puede proceder de terceros y no representa los puntos de vista ni las opiniones de Gate. El contenido que aparece en esta página es solo para fines informativos y no constituye ningún tipo de asesoramiento financiero, de inversión o legal. Gate no garantiza la exactitud ni la integridad de la información y no se hace responsable de ninguna pérdida derivada del uso de esta información. Las inversiones en activos virtuales conllevan riesgos elevados y están sujetas a una volatilidad significativa de los precios. Podrías perder todo el capital invertido. Asegúrate de entender completamente los riesgos asociados y toma decisiones prudentes de acuerdo con tu situación financiera y tu tolerancia al riesgo. Para obtener más información, consulta el
Aviso legal.
Artículos relacionados
Cofundador de NeoSoul Kaelan: La industria de la IA debería permitir que existan juguetes; la innovación a menudo comienza como productos experimentales
Mensaje de Gate News, 24 de abril — En un reciente foro en Hong Kong sobre finanzas inteligentes cifradas, el cofundador de NeoSoul, Kaelan, compartió ideas para evaluar proyectos de IA en la etapa inicial, en una industria de IA que evoluciona rápidamente. Más allá de evaluar los productos actuales, los equipos deben demostrar la capacidad de mantenerse al ritmo con las capacidades del modelo subyacente, en un
GateNewsHace12m
Meta y Amazon acuerdan un acuerdo multimillonario para suministrar chips Graviton para el desarrollo de IA
Mensaje de Gate News, 24 de abril — Meta Platforms y Amazon Web Services (AWS) han alcanzado un acuerdo multimillonario para respaldar las iniciativas de inteligencia artificial de Meta durante los próximos años, según el Wall Street Journal. Bajo el acuerdo, Meta utilizará decenas de millones de núcleos de chip AWS Graviton c
GateNewsHace23m
DeepSeek V4-Flash se lanza en Ollama Cloud, servidor en EE. UU.: Claude Code, OpenClaw con un clic para conectar
Ollama Cloud ha publicado DeepSeek V4-Flash, con inferencia en servidores en Estados Unidos, y ofrece tres conjuntos de comandos de un solo clic para conectarse a Claude Code, OpenClaw y Hermes. V4-Flash/V4-Pro adoptan una arquitectura MoE, cuentan con soporte nativo de contexto 1M, y reducen costos con compresión Token-wise + atención dispersa DSA, logrando una reducción del 27% en FLOPs por token y una disminución del 10% en caché KV en escenarios de 1M. La API es compatible con OpenAI ChatCompletions y Anthropic, lo que facilita el cambio entre múltiples flujos de trabajo, y reduce el costo y el riesgo de soberanía de los datos.
ChainNewsAbmediahace1h
La infraestructura de IA de Web3 AIW3 recauda $2M en financiación semilla liderada por Buffalo Capital
Mensaje de Gate News, 24 de abril — La plataforma de infraestructura de IA para Web3, AIW3, anunció la finalización de una ronda semilla de financiación de $2 millones. La ronda fue liderada por Buffalo Capital, con GalaXin Capital y Three-stones Ventures participando como coinversores.
AIW3 se está trasladando hacia un paradigma de ejecución en cadena de Agent-as-a-Service
GateNewshace2h
Cohere adquiere la firma alemana de IA Aleph Alpha y asegura $600M inversión para la expansión europea
Mensaje de Gate News, 24 de abril: la empresa canadiense de IA Cohere anunció planes para adquirir la firma alemana de IA Aleph Alpha para reforzar su presencia en Europa. Schwarz Group, un patrocinador de Aleph Alpha, planea invertir $600 millones en la ronda de financiación Serie E de Cohere.
Se espera que la ronda de financiación cierre en 202
GateNewshace2h
Xpeng, Xiaomi Lead In-Car AI Push at Beijing Auto Show
Gate News message, April 24 — Chinese automakers showcased advanced in-car AI systems at the Beijing Auto Show on April 24, as the country accelerates its AI Plus strategy and seeks greater independence from foreign semiconductors.
Xpeng demonstrated voice-controlled parking that allows drivers to
GateNewshace3h
