Experto de Dominio en Matemáticas

Ayuda a definir cómo los modelos de IA más avanzados razonan sobre matemáticas.

1. Descripción general

Buscamos matemáticos senior para mejorar la forma en que los modelos de IA más avanzados razonan sobre la investigación matemática real.

Tu criterio matemático es la esencia de este puesto. Revisarás la calidad de las tareas de razonamiento matemático y de las respuestas de los modelos, redactarás las especificaciones de los problemas y las soluciones de referencia y demostraciones que definen qué significa "correcto", y diseñarás benchmarks que muestren si un modelo está mejorando de verdad. Buscamos a un especialista en activo y no a un generalista.

Este puesto es totalmente remoto.

2. Responsabilidades principales

• Revisión experta: Evalúas tareas matemáticas y respuestas de modelos, detectando lagunas en las demostraciones, pasos no justificados, generalizaciones incorrectas y argumentos que suenan bien pero no superarían una revisión por pares.
• Especificaciones de problemas y soluciones de referencia: Redactas enunciados precisos y soluciones y demostraciones rigurosas de referencia que reflejen cómo se hace realmente la investigación matemática.
• Benchmarks: Diseñas problemas desafiantes de nivel de investigación y conjuntos de evaluación en tu área de especialización.
• Calibración: Trabajas con otros investigadores y expertos en campos afines para convertir el juicio experto tácito en criterios explícitos y enseñables.

3. Requisitos principales

• Formación: Doctorado en matemáticas, matemáticas aplicadas, estadística, investigación operativa o un campo estrechamente relacionado.
• Antigüedad: Un nombramiento como profesor titular, investigador principal, científico de plantilla o sénior, o un puesto de investigación sénior equivalente en una universidad, laboratorio nacional u organización de investigación.
• Profundidad en el dominio: Especialización real 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áticas aplicadas y optimización.
• Historial investigador: Un sólido historial de publicaciones revisadas por pares. Se valora positivamente el reconocimiento como becas o premios competitivos.
• Dominio de la IA: Uso práctico de modelos de lenguaje de gran tamaño en tu trabajo, y el criterio para distinguir un argumento sólido de uno erróneo que solo parece plausible.
• Comunicación: Excelente comunicación escrita y capacidad para ofrecer retroalimentación precisa y bien estructurada.
• Ubicación: Residencia en Estados Unidos.