Uso de sistemas de inteligencia artificial para ayudar a producir demostraciones matemáticas, junto con cuestiones relacionadas con la verificación, la transparencia y la atribución del mérito.
25 de los matemáticos más destacados, todos ellos ganadores de una Medalla Fields, firmaron una carta abierta en la que advierten que la carrera de los laboratorios de inteligencia artificial por resolver problemas célebres amenaza la atribución de las ideas y la transparencia de la investigación. Esto ocurre en medio de crecientes disputas entre OpenAI e investigadores académicos sobre la documentación, la publicación de demostraciones y el uso de los trabajos de los investigadores.