OpenAI aporta 5 millones de dólares para ayudar a los matemáticos a verificar investigaciones de IA

OpenAI y Anthropic aportan fondos a una iniciativa de 15 millones de dólares para ayudar a los matemáticos a verificar y filtrar demostraciones generadas por inteligencia artificial.









