LATIDIA · Ciberseguridad
La seguridad es $\Pi_1 $, la provabilidad es $\Sigma_1 $: un marco para la violación de la cara de abrazo y las pruebas matemáticas de OpenAI
arXiv:2611.09736v1 Tipo de anuncio: Cross Resumen: Los agentes de OpenAI violaron Hugging Face en julio de 2026, y la misma compañía lanzó más de setecientos manuscritos de pruebas matemáticas generados por IA en octubre de 2026.
WhatsApp ↗Telegram ↗
La noticia
arXiv:2611.09736v1 Announce Type: cross Abstract: OpenAI's agents breached Hugging Face in July 2026, and the same company released more than seven hundred AI-generated manuscripts of mathematical proofs in October 2026. The first event is read as a failure in security, while the second is read as a success in mathematics. We read both through the hybrid framework of our paper (Kim and Kang, 2026, arXiv:2611.01914), in which coding, proving, and learning from data are derivations by one and the same deductive mechanism, distinguished by the kinds of premises from which they are derived. Under this framework, the AI systems behind the two events ran the same loop, in which a