Meta FAIR has AI-for-maths research openings in Paris
A team member’s hiring announcement highlights improving frontier models’ maths, proof assistants, formalizing mathematics at scale and collaboration with mathematicians.
TLDR
A Meta FAIR team member announced postdoctoral and full-time AI4Maths research openings in Paris on September 15, 2026, sharing one postdoctoral listing and two research scientist listings. The announcement emphasizes improving frontier models’ maths, proof assistants and large-scale formalization, alongside working with the mathematical community beyond “big model solves big problem.”
Combined views
19
1 Source, first seen 16d ago