Compartir los avances de la IA en matemáticas | OpenAI openai.com/es-ES/index/sharing-ai-progress-in-mathematics/
Seguir leyendoEtiqueta: math
OpenAI publica 722 demostraciones matemáticas generadas por IA: el mayor corpus verificado de la historia
OpenAI publica 722 demostraciones matemáticas generadas por IA: el mayor corpus verificado de la historia wwwhatsnew.com/2026/10/08/openai-722-manuscritos-matematicos-ia-lean-github-2026/ Una parte de la comunidad matemática está en pie de guerra contra OpenAI www.xataka.com/investigacion/parte-comunidad-matematica-esta-pie-guerra-openai Una IA ya es capaz de abordar problemas que durante décadas se les han resistido a los mejores matemáticos La
Seguir leyendoOpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente «resolver»
OpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente «resolver» www.xataka.com/robotica-e-ia/openai-asegura-que-su-ia-ha-resuelto-100-problemas-matematicos-hay-problema-que-significa-exactamente-resolver La compañía ha creado un grupo independiente de matemáticos para gestionar los nuevos descubrimientos en este ámbito El precedente de Navier-Stokes, eso sí, plantea un dilema: una prueba puede cumplir
Seguir leyendo“Estoy realmente aterrorizado”: un matemático explica cómo la IA está superando a los humanos en su campo
“Estoy realmente aterrorizado”: un matemático explica cómo la IA está superando a los humanos en su campo | WIRED Steven Strogatz es coautor de un libro sobre cómo las matemáticas están yendo más allá de la comprensión humana. Habló con WIRED sobre el impacto trascendental que la inteligencia artificial ha
Seguir leyendoUn año de trabajo de dos matemáticos españoles frente a 88 horas y 15 millones de OpenAI: “Sin nuestra idea, la IA no lo habría resuelto”
Un año de trabajo de dos matemáticos españoles frente a 88 horas y 15 millones de OpenAI: “Sin nuestra idea, la IA no lo habría resuelto” | Ciencia | EL PAÍS Las investigaciones de Diego Córdoba y Luis Martínez-Zoroa son la base del anuncio de que la inteligencia artificial ha
Seguir leyendoOpenAI dice haber resuelto uno de los 7 Problemas del Milenio, pero matemáticos acusan juego sucio
OpenAI dice haber resuelto uno de los 7 Problemas del Milenio, pero matemáticos acusan juego sucio | WIRED Un anuncio histórico del laboratorio pionero en inteligencia artificial se ha visto empañado por acusaciones de conducta indebida. es.wired.com/articulos/openai-dice-haber-resuelto-uno-de-los-7-problemas-del-milenio-pero-matematicos-acusan-juego-sucio
Seguir leyendoTenorshare AI Math: AI Math Solver Online
Free AI Math Solver Online | Tenorshare AI Math ai.tenorshare.com/products/ai-math-solver Free AI Math Solver Online Solve any math problem from text, image, or document. Get clear step-by-step answers, watch video explanations, and practice until you truly understand.
Seguir leyendoMathBuddy.ai: AI Math Solver for Step-by-Step Study Help
MathBuddy.ai | AI Math Solver for Step-by-Step Study Help mathbuddy.ai/ Math help that actually teaches.
Seguir leyendoClaude intentó resolver la hipótesis de Riemann y fracasó 650 veces. Entonces le dijeron “cree en ti mismo”
Claude intentó resolver la hipótesis de Riemann y fracasó 650 veces. Entonces le dijeron “cree en ti mismo” Una versión experimental de Claude trató de resolver la hipótesis, y nos acercó a uno de sus grandes resultados relacionados www.xataka.com/robotica-e-ia/claude-no-ha-resuelto-hipotesis-riemann-inquietante-que-consiguio-intentaba
Seguir leyendo¿De verdad necesitamos tantos matemáticos?
«¿De verdad necesitamos tantos matemáticos?»: Fable 5 ayuda a refutar una conjetura de casi un siglo www.xataka.com/robotica-e-ia/verdad-necesitamos-matematicos-fable-5-ayuda-a-refutar-conjetura-casi-siglo Un matemático de Harvard ha refutado la conjetura de Jacobi con un contraejemplo de tan solo 216 caracteres Lo ha hecho con la ayuda del modelo de Anthropic Los expertos lo consideran el
Seguir leyendo