Haiteng Zhao (赵海腾)

Full-time researcher, Shanghai AI Lab

zhaohaiteng [AT] pku.edu.cn

← All projects

Foundation Models · Intern-S2

Building the Intern Family of Foundation Models

Contributing to the Intern family of large models, with a particular focus on Intern-S2-397B: a scientific multimodal foundation model with leading mathematical reasoning among open-source models.

Official Intern-S2 model banner
Official artwork from the Intern-S2-397B model repository.

Scientific intelligence and advanced reasoning

At Shanghai AI Laboratory, I contribute to the development of the Intern family of foundation models. My research interests in advanced reasoning, reinforcement learning, and AI for science come together in this effort, particularly in the latest Intern-S2-397B.

Intern-S2 is designed for scientific intelligence and long-horizon agents. Its development scales pre-training, reinforcement-learning task coverage, and interactive agent environments to improve general reasoning, scientific problem solving, and extended tool-based workflows.

Mathematical reasoning at the frontier

Mathematics is a central test of a model’s ability to reason precisely over long sequences of steps. Shanghai AI Laboratory’s October 2026 report describes Intern-S2 as leading existing open-source models overall on benchmarks such as IMO-Proof and AdvancedMathBench, with some results exceeding leading closed-source models. These results reflect the evaluations reported at release.

The same focus on rigorous, long-horizon reasoning underpins the human–AI collaboration on the three-dimensional Ghys conjecture, where the model worked within a research harness guided by mathematicians.

Beyond text-only reasoning

The official model card highlights three complementary directions:

Together, these capabilities support the goal of moving from answering isolated questions toward assisting sustained scientific research.

Models and resources

← Back to selected projects