Meta FAIR is hiring postdoctoral and full-time AI maths researchers in Paris
A team member’s hiring announcement highlights improving frontier models’ maths abilities, proof assistants and formalizing mathematics at scale.
TLDR
A member of Meta FAIR’s Paris team announced AI4Maths research openings on September 15, sharing one postdoctoral listing and two research scientist listings. Alongside improving models’ maths capabilities and working on proof assistants, the announcement emphasizes close collaboration with the mathematical community—beyond “big model solves big problem.”
Combined views
24.9K
1 Source, first seen ago