IA vía openai.com Modelo de OpenAI desmiente conjetura geométrica
Un modelo de OpenAI resolvió el problema de la distancia unitaria
· 2 min Leer →
#geometria
Todas las noticias etiquetadas como #geometria en Pulso. Reescritas con asistencia de IA a partir de fuentes públicas.
★ Destacada · IA hace 7 d
Implementación verificada de geometría sólida constructiva 3D
Se ha implementado la primera geometría sólida constructiva 3D verificada formalmente: la intersección de mallas, implementada en Lean 4 y verificada contra una…