Expert du domaine des mathématiques

Aidez à définir la manière dont les modèles d'IA de pointe raisonnent en mathématiques.

1. Vue d'ensemble

Nous recherchons des mathématiciens chevronnés pour améliorer la manière dont les modèles d'IA de pointe raisonnent sur de véritables travaux de recherche mathématique.

Votre jugement mathématique est le cœur de ce poste. Vous examinerez la qualité des tâches de raisonnement mathématique et des résultats produits par les modèles, rédigerez les énoncés de problèmes ainsi que les solutions de référence et les démonstrations qui définissent ce que signifie « correct », et concevrez des benchmarks permettant de vérifier si un modèle progresse réellement. Nous recherchons un spécialiste en exercice plutôt qu'un généraliste.

Ce poste est entièrement à distance.

2. Responsabilités principales

• Revue experte : Évaluer les tâches mathématiques et les résultats des modèles, en repérant les lacunes dans les démonstrations, les étapes non justifiées, les généralisations incorrectes et les raisonnements qui semblent convaincants mais ne résisteraient pas à une évaluation par les pairs.
• Énoncés de problèmes et solutions de référence : Rédiger des énoncés précis ainsi que des solutions et démonstrations rigoureuses de référence, reflétant la manière dont la recherche mathématique se pratique réellement.
• Benchmarks : Concevoir des problèmes stimulants de niveau recherche et des ensembles d'évaluation dans votre domaine de spécialisation.
• Calibration : Travailler avec d'autres chercheurs et experts de domaines voisins pour transformer un jugement d'expert tacite en critères explicites et transmissibles.

3. Qualifications requises

• Formation : Doctorat en mathématiques, mathématiques appliquées, statistiques, recherche opérationnelle ou dans un domaine étroitement apparenté.
• Ancienneté : Un poste de professeur d'université, de chercheur principal, de scientifique titulaire ou senior, ou tout poste de recherche senior équivalent dans une université, un laboratoire national ou un organisme de recherche.
• Profondeur du domaine : Une véritable spécialisation dans au moins un domaine, par exemple analyse et EDP, algèbre et théorie des nombres, géométrie et topologie, probabilités et statistiques, ou mathématiques appliquées et optimisation.
• Parcours de recherche : Un solide bilan de publications évaluées par les pairs. Une reconnaissance telle que des bourses ou prix compétitifs est un atout.
• Maîtrise de l'IA : Pratique concrète des grands modèles de langage dans votre travail, et capacité à distinguer un raisonnement solide d'un raisonnement faux mais plausible.
• Communication : Excellente expression écrite et capacité à fournir des retours précis et bien structurés.
• Localisation : Basé aux États-Unis.