OpenAI publica 700 preprints con demostraciones y contraejemplos matemáticos

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI ha subido a GitHub un repositorio con 700 preprints que abarcan demostraciones y contraejemplos en áreas como teoría de grupos, geometría, análisis y combinatoria. Los títulos incluyen resultados como un contraejemplo a la conjetura de Kaplansky sobre finitud directa y una demostración de la segunda conjetura de vecindad de Seymour. El material está disponible para consulta y discusión.