Core Viewpoint - MiroMind is advancing its mission of building "Discoverable Intelligence" by appointing three distinguished AI scientists to lead key areas of its Heavy Duty Solver engine, focusing on reasoning, runtime, and verifiable AI [1][2][13]. Group 1: Key Appointments - Dr. Du Shaolei has been appointed as Lead Scientist for Reasoning Models & Training, bringing expertise in machine learning theory and large-scale reasoning model training [3][4]. - Professor An Bo has been appointed as Lead Scientist for Runtime & Agent Systems, with a strong background in multi-agent systems and AI decision-making [5][7][8]. - Dr. Yang Kaiyu has been appointed as Lead Scientist of the Verifiable AI Lab, focusing on verifiable reasoning and formal proof systems [11][12]. Group 2: Responsibilities and Contributions - Dr. Du will construct the end-to-end reasoning model training system, enhancing the reasoning capabilities of MiroMind's Heavy Duty Solver [4]. - Professor An will lead the design and evolution of the system execution architecture, integrating reasoning models with verification core to create reliable and scalable systems [8]. - Dr. Yang will establish the Verifiable AI Lab, aiming to develop technologies that ensure machine-checkable correctness guarantees, enhancing the reliability of AI outputs [12]. Group 3: Company Vision and Goals - MiroMind aims to create a general-purpose solver that not only appears correct but can be formally verified, addressing complex real-world problems [2][16]. - The company targets high-risk sectors such as software engineering, financial services, healthcare, legal compliance, and scientific research, providing trustworthy AI capabilities [17].