OpenAI enfrenta disputa de prioridad con matemáticos

OpenAI y el matematico de NYU Tristan Buckmaster chocan por el credito de pruebas verificadas en Lean sobre las ecuaciones de Euler. El medallista Fields Terence Tao opina sobre la creciente friccion entre laboratorios de IA e investigadores humanos.








