Pure Mathematics Specialist – Freelance AI Trainer Project

Invisible Technologies is seeking a Pure Mathematics Specialist to contribute to the development of advanced artificial intelligence models. This role focuses on enhancing the reasoning capabilities of large-scale language models by providing high-quality, proof-based mathematical training data.

Key responsibilities

• Construct and evaluate complex mathematical proofs to ensure rigor and logical correctness.
• Translate advanced mathematical concepts into Lean 4 syntax to support AI training processes.
• Identify and correct subtle conceptual or logical failures within mathematical reasoning tasks.
• Collaborate with the internal team to refine evaluation frameworks, prompts, and reasoning benchmarks.
• Articulate complex proof strategies and metacognitive reasoning clearly and effectively.

Requirements

• Deep foundational knowledge in pure mathematics, including measure theory, functional analysis, and abstract algebra.
• Proven fluency in Lean 4, the proof assistant and programming language.
• Current or recent academic experience, such as an in-progress PhD, completed PhD, or PostDoc position.
• Familiarity with advanced topics like the Yoneda embedding, Riesz representation theorem, and stochastic approximation.
• Strong ability to communicate complex mathematical logic in a clear and structured manner.

What we offer

• The opportunity to shape the future of AI reasoning through expert-level mathematical contributions.
• A fully remote working environment allowing for flexible, independent project engagement.
• Collaboration with a team dedicated to pushing the boundaries of machine learning and formal verification.