● NeuroSec Radar
Entrar
← Volver
5IA

Sharing AI progress in mathematics

OpenAI News · 6 oct, 14:00

OpenAI publica nuevos resultados sobre problemas abiertos en matemáticas generados por un modelo frontera interno, compartiendo formalizaciones de pruebas Lean y detalles de investigación en GitHub.

#Investigación#Nuevo modelo

Pregunta a la IA

Para preguntar a Claude sobre esta noticia, usa tu propia API key de Anthropic. Tu navegador la envía directamente a Anthropic: nunca pasa por el servidor de esta web ni se guarda en su base de datos. Anthropic te cobra el uso (Claude Haiku 4.5, en torno a 0,003 $ por pregunta).

Consíguela en console.anthropic.com. Recomendado: una key solo para esto, con límite de gasto.