Project Numina is Hiring Lean 4 contributors

Stream: job postings

[Leonardo de Moura]

Project Numina is hiring Lean 4 contributors to work on formalizing competitive math problems and proofs! If you're passionate about mathematics, formal methods, and contributing to groundbreaking AI research, this could be the perfect opportunity for you.
Project Numina is a non-profit dedicated to advancing human and AI capabilities in mathematics. They've already achieved remarkable milestones:

• Won first place in the AI Math Olympiad (AIMO)
• Released the largest competition math dataset
• Developed state-of-the-art AI models and training methodologies.

Their mission is to build AI systems capable of autonomously formalizing mathematical statements and solving complex problems.

Numina - Hiring Lean4 contributors.pdf