Acerca del puesto
Ayude a definir cómo razonan los modelos de IA de frontera sobre matemáticas.
1\. Descripción general
Buscamos matemáticos sénior para mejorar cómo razonan los modelos de IA de frontera sobre la investigación matemática real.
Su criterio matemático es la esencia de este puesto. Revisará la calidad de las tareas de razonamiento matemático y de los resultados de los modelos, redactará las especificaciones de los problemas y las soluciones y demostraciones de referencia que definen cómo es una solución "correcta", y diseñará benchmarks que muestren si un modelo mejora de verdad. Buscamos a un especialista en activo y no a un generalista.
Este puesto es totalmente remoto.
2\. Responsabilidades principales
- Revisión experta: evaluar tareas matemáticas y resultados de modelos, detectando lagunas en las demostraciones, pasos injustificados, generalizaciones incorrectas y argumentos que suenan bien pero no resistirían una revisión por pares.
- Especificaciones de problemas y soluciones de referencia: redactar enunciados precisos y soluciones y demostraciones de referencia rigurosas que reflejen cómo se hace realmente la investigación matemática.
- Benchmarks: diseñar problemas desafiantes de nivel de investigación y conjuntos de evaluación en su área de especialización.
- Calibración: trabajar con otros investigadores y expertos de campos afines para convertir el criterio experto tácito en criterios explícitos y transmisibles.
3\. Requisitos principales
- Formación: doctorado (PhD) en matemáticas, matemática aplicada, estadística, investigación operativa o un campo muy afín.
- Categoría profesional: un puesto de profesor universitario, investigador principal, científico de plantilla o sénior, o un puesto equivalente de investigación sénior en una universidad, laboratorio nacional u organización de investigación.
- Profundidad en el ámbito: especialización genuina en al menos un área, por ejemplo análisis y EDP, álgebra y teoría de números, geometría y topología, probabilidad y estadística, o matemática aplicada y optimización.
- Trayectoria investigadora: un sólido historial de publicaciones revisadas por pares. Se valorarán reconocimientos como becas competitivas o premios.
- Soltura con la IA: uso práctico de modelos de lenguaje de gran tamaño en su trabajo y criterio para distinguir un argumento sólido de uno erróneo que suena verosímil.
- Comunicación: excelente comunicación escrita y capacidad para ofrecer comentarios precisos y bien estructurados.
- Ubicación: residir en Estados Unidos.