大模型数据运营专家（AI4Math） - AI数据与安全
Core
Ensuring data quality for large model mathematical reasoning capabilities, including formalized data review, high-difficulty math problem acceptance, and professional auditing of training data to build high-quality datasets that reveal model weaknesses.
Role type
Senior IC large model data operations expert (mathematics & formalization)
Builds
High-quality mathematical datasets and evaluation standards for AI base models and AI-native applications
Domain
Artificial Intelligence / Mathematics / Formal Methods
Deliverable
production ML models
Required skills
Advanced mathematical background (analysis, algebra, number theory, logic), Lean theorem prover proficiency, formal proof verification, data quality assessment, research trend analysis
Preferred skills
IMO/CMO/Putnam competition experience, formal methods research, type theory experience, automatic theorem proving
Technologies
Lean4, arXiv, GitHub, formal verification tools
Responsibilities
Review and audit mathematical training data and formalized proofs; define and iterate data production standards and acceptance criteria; collaborate with algorithm teams and external math experts to identify model gaps; track and analyze frontier developments in AI math reasoning and formalization.
Seniority
Senior, hands-on IC