OpenThoughts: Dataset Abierto de Razonamiento Sintético con Verificación Formal
OpenThoughts p
Sigue leyendo las noticias clave de IA
Filtrar y personalizar
Shanghai AI Lab Presenta InternLM2-Math-20B: Modelo Abierto Especializado en Razonamiento Matemático FormalShanghai AI Lab lanza InternLM2-Math-20B, modelo abierto de 20B para razonamiento matemático formal mediante cadenas de pensamiento y código integrado.Leer análisis completo
Anthropic: verificación formalUna guía para pedir evidencia de software: delimita una propiedad, conserva sus condiciones y decide qué cambia antes de aceptar una nueva versión.Leer análisis completo
Alibaba Presenta Qwen2.5-Math: Modelos Abiertos de Razonamiento Matemático con CoT Sintético Aumentado por CódigoAlibaba publica Qwen2.5-Math en versiones de 1.5B a 72B, superando a modelos propietarios en benchmarks matemáticos mediante razonamiento CoT y Python.Leer análisis completo
Microsoft presenta Phi-4: modelo compacto de 14B parámetros con razonamiento sintético de vanguardia y rendimiento matemático superiorMicrosoft anunció Phi-4, modelo de 14B entrenado con datos sintéticos curados que supera a modelos mayores en razonamiento y matemáticas.Leer análisis completo
Google DeepMind avanza en razonamiento matemático formal con AlphaGeometry 2 y resuelve el 83% de los problemas de geometría olímpicaDeepMind presentó AlphaGeometry 2, combinando LLMs neuronales con motores de deducción simbólica para resolver problemas de la Olimpiada Internacional.Leer análisis completo
TII Presenta Falcon 40B: Modelo Fundacional Abierto con Multi-Query Attention y Dataset RefinedWebTII libera Falcon 40B, modelo fundacional abierto entrenado sobre 1 billón de tokens de RefinedWeb con Multi-Query Attention y licencia Apache 2.0.Leer análisis completo
DeepSeek Presenta DeepSeek-Prover-V1.5: Modelo Abierto para Demostración Formal de Teoremas en Lean Mediante MCTSDeepSeek detalla DeepSeek-Prover-V1.5, que optimiza la demostración formal en Lean 4 mediante Monte Carlo Tree Search y ajuste fino por refuerzo.Leer análisis completo
AllenAI Presenta Open-O1: Pipeline Abierto de Aprendizaje por Refuerzo para RazonamientoAi2 libera Open-O1, framework de aprendizaje por refuerzo con recompensas verificables y búsqueda en tiempo de inferencia para modelos de razonamiento.Leer análisis completo
Mistral AI Presenta Mathstral 7B: Modelo Abierto Especializado en Razonamiento Matemático y CientíficoMistral AI lanza Mathstral 7B, modelo abierto con ventana de 32K tokens optimizado para resolver problemas matemáticos de nivel olímpico e investigación STEM.Leer análisis completo
Nous Research Presenta Hermes 3: Modelo Abierto de Razonamiento Generalista, Llamada a Funciones y Orquestación AgénticaNous Research lanza Hermes 3 (Llama 3.1 8B, 70B y 405B), modelo abierto enfocado en razonamiento profundo, juicio no censurado y llamadas estructuradas.Leer análisis completo
RAC: planificación con verificaciónCompara planes: restricciones, solapamientos, duración y verificación.Leer análisis completo
Moonshot AI Libera Kimi k1.5: Modelo de Razonamiento Multimodal ReforzadoMoonshot AI presenta Kimi k1.5, modelo multimodal de razonamiento con aprendizaje por refuerzo a escala, pensamiento extendido y contexto masivo.Leer análisis completo
Cohere for AI Lanza Aya Vision: Modelos Multimodales Abiertos de 8B y 32B para Razonamiento Visual Multilingüe en 23 IdiomasCohere for AI presenta Aya Vision, modelos multimodales abiertos de 8B y 32B diseñados para razonamiento visual y de texto en 23 idiomas diversos.Leer análisis completo
Hugging Face Incorpora GRPO en TRL: Optimización por Políticas Relativas para Razonamiento en LLMsHugging Face incorpora el algoritmo GRPO en TRL para entrenar razonamiento en LLMs sin modelo de valor crítico, ahorrando la mitad de memoria VRAM.Leer análisis completo
IBM Presenta Granite 3.0: Modelos Abiertos de 2B y 8B para RAG Empresarial, Razonamiento y SeguridadIBM lanza Granite 3.0 (2B y 8B) bajo licencia Apache 2.0, optimizado para RAG empresarial, Tool-Use y seguridad con modelos Granite Guardian.Leer análisis completo
Shanghai AI Lab Presenta InternLM 2.5: Modelos Abiertos de Razonamiento con Ventana de Contexto de 1 Millón de TokensShanghai AI Lab lanza InternLM 2.5 en 7B y 20B, con procesamiento de 1M de tokens, razonamiento matemático avanzado y llamadas a herramientas complejas.Leer análisis completo