Static math benchmarks saturate. We built one that doesn't. Announcing MathDuels, the first self-play math benchmark. Every frontier LLM writes problems for the others, and is graded on the ones written for it. As models improve, so does the benchmark.

Congratulations to Anthropic on the release of Claude Opus 5.5! 🎉 At Rabdos, we spend our days thinking about the hardest problems in math and science, so it's exciting to watch frontier reasoning keep advancing this quickly.

📣 𝗪𝗲'𝗿𝗲 𝗵𝗶𝗿𝗶𝗻𝗴! 𝗥𝗲𝘀𝗲𝗮𝗿𝗰𝗵 𝗘𝗻𝗴𝗶𝗻𝗲𝗲𝗿 — 𝗠𝗮𝘁𝗵𝗲𝗺𝗮𝘁𝗶𝗰𝗮𝗹 𝗙𝗼𝗿𝗺𝗮𝗹𝗶𝘇𝗮𝘁𝗶𝗼𝗻 𝗶𝗻 𝗟𝗲𝗮𝗻 At Rabdos AI, we build research-level STEM tasks that stay beyond the reach of frontier AI models, even as those models approach millennium-prize-level problems. Founded by academics at the University of Pennsylvania, we've bootstrapped to $𝟮𝟱𝗠 𝗶𝗻 𝗔𝗥𝗥 𝗶𝗻 𝗹𝗲𝘀𝘀 𝘁𝗵𝗮𝗻 𝗮 𝘆𝗲𝗮𝗿, and we're growing the team. 𝗪𝗵𝗮𝘁 𝘆𝗼𝘂'𝗹𝗹 𝗱𝗼 🔹 Lead the design and evaluation of methods that turn informal mathematical reasoning into formal proofs in Lean 🔹 Build 𝗮𝘂𝘁𝗼𝗳𝗼𝗿𝗺𝗮𝗹𝗶𝘇𝗮𝘁𝗶𝗼𝗻 workflows and integrate them with frontier AI models 🔹 Curate high-quality formal reasoning datasets alongside mathematicians and computer scientists 🔹 Prototype, experiment, and iterate on tools that make formal verification scalable and reliable 𝗪𝗵𝗮𝘁 𝘄𝗲'𝗿𝗲 𝗹𝗼𝗼𝗸𝗶𝗻𝗴 𝗳𝗼𝗿 ✅ Experience with formal theorem proving and autoformalization, ideally in 𝗟𝗲𝗮𝗻 𝟰 ✅ 𝗚𝗿𝗮𝗱𝘂𝗮𝘁𝗲-𝗹𝗲𝘃𝗲𝗹 knowledge of mathematics or physics ✅ Experience building and improving AI systems such as LLM pipelines or evaluation tools ✅ A degree in CS, Math, Physics, or a related field (or equivalent research experience) ✅ Clear communication across disciplines and a commitment to rigorous validation 𝗕𝗼𝗻𝘂𝘀 𝗽𝗼𝗶𝗻𝘁𝘀 ➕ Strong Python skills ➕ Familiarity with how LLMs are trained, fine-tuned, or evaluated 𝗧𝗵𝗲 𝗱𝗲𝘁𝗮𝗶𝗹𝘀 📍 𝗢𝗻-𝘀𝗶𝘁𝗲 𝗶𝗻 𝗣𝗵𝗶𝗹𝗮𝗱𝗲𝗹𝗽𝗵𝗶𝗮 | 𝗙𝘂𝗹𝗹-𝘁𝗶𝗺𝗲 | Start ASAP 💰 $𝟭𝟱𝟬𝗞 – $𝟮𝟮𝟱𝗞 + 𝗲𝗾𝘂𝗶𝘁𝘆 + performance bonuses paid multiple times a year 🩺 Health insurance, a daily Uber Eats stipend, and a commute benefit If your background is a good fit, we'll reach out within 𝗼𝗻𝗲 𝗯𝘂𝘀𝗶𝗻𝗲𝘀𝘀 𝗱𝗮𝘆 to schedule an intro call. 👉 𝗔𝗽𝗽𝗹𝘆 𝗵𝗲𝗿𝗲: rabdos.ai/apply/research-eng… Know someone who'd be a great fit? Please tag them or share this post! 🙏 Rabdos AI is an equal opportunity employer.