Emplois de data theorem – Paris

About The RoleWhat if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.About The RoleWhat if your deep knowledge of...

Описание:Mistral provides full-stack AI solutions, from frontier models to developer tools, applications, and compute. It partners with enterprises in high-stakes industries to co-create customized AI systems that they can run on their own terms.Задачи:Run pre-training and post-training, and deploy state-of-the-art models on large...

About MistralMistral provides full-stack AI solutions: from frontier models to developer tools, applications, and compute. We partner with enterprises tackling the hardest problems across high-stakes industries like finance, manufacturing, defense, healthcare, and the public sector, co-creating customized AI systems that they can run on their terms.We are a...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.Location: RemoteType: Contract / Part-timeCommitment: 20 hours per weekCompensation: Up to 40 USD / hrProject duration: 2 months, with potential extensionAvailability: Immediate startAbout the roleWe create high-quality STEM training data...