MiroMind công bố ba nhà khoa học AI hàng đầu từ xAI, FAIR và các đại học danh tiếng gia nhập đội ngũ

MiroMind chính thức bổ sung ba nhà khoa học AI đầu ngành

MiroMind vừa công bố ba nhà khoa học AI quan trọng đã gia nhập đội ngũ lãnh đạo. Những bổ nhiệm này đánh dấu bước tiến quan trọng trong sứ mệnh "Trí Tuệ Khám Phá" – một hệ thống AI không chỉ phân tích kiến thức hiện có mà còn dự đoán kết quả và khám phá những khái niệm hoàn toàn mới.

Ba trụ cột công nghệ của động cơ Heavy Duty Solver

Với sự tham gia của Tiến sĩ Shaolei Du làm Nhà khoa học trưởng Mô hình Lý luận & Đào tạo, Giáo sư Bo An làm Nhà khoa học trưởng Hệ thống Runtime & Tác nhân, và Tiến sĩ Kaiyu Yang làm Nhà khoa học trưởng Phòng thí nghiệm AI Có thể Xác minh, các trụ cột công nghệ cốt lõi của động cơ Heavy Duty Solver đã được hoàn thiện. Ba chuyên gia này cùng thúc đẩy các tiến bộ về khả năng lý luận, thực thi runtime và AI có thể xác minh.

Giới thiệu đội ngũ khoa học hàng đầu

Tiến sĩ Shaolei Du – Nhà khoa học trưởng Mô hình Lý luận & Đào tạo

Tiến sĩ Du hiện là Phó Giáo sư tại Trường Khoa học Máy tính & Kỹ thuật Paul G. Allen thuộc Đại học Washington, chuyên nghiên cứu về lý thuyết học máy, tối ưu hóa học sâu và đào tạo mô hình lý luận quy mô lớn. Ông có nền tảng độc đáo kết hợp nghiên cứu học thuật nghiêm ngặt với kinh nghiệm trong ngành AI tiên tiến:

• Trước đây là thành viên kỹ thuật tại xAI, trực tiếp tham gia nghiên cứu và phát triển mô hình lớn tiên tiến
• Giáo sư thỉnh giảng tại Meta FAIR
• Nghiên cứu sau tiến sĩ tại Viện Nghiên cứu Nâng cao Princeton

Tại MiroMind, ông sẽ dẫn đầu xây dựng hệ thống đào tạo mô hình lý luận cốt lõi từ đầu đến cuối, bao gồm thiết kế kiến trúc mô hình, chiến lược đào tạo quy mô lớn và cải thiện hệ thống năng lực lý luận. Công việc của ông là động cơ kỹ thuật chính thúc đẩy Heavy Duty Solver.

Giáo sư Bo An – Nhà khoa học trưởng Hệ thống Runtime & Tác nhân

Giáo sư An là giảng viên chính thức tại Đại học Công nghệ Nanyang (NTU), Singapore, chuyên sâu về hệ thống đa tác nhân, học tăng cường, lý thuyết trò chơi và hệ thống quyết định AI. Các nghiên cứu của ông được công bố tại NeurIPS, ICML, AAAI và nhiều hội nghị danh tiếng khác, được cộng đồng học thuật quốc tế đánh giá cao.

Bên cạnh thành tựu học thuật, ông có kinh nghiệm thực tiễn sâu rộng trong AI ứng dụng, hợp tác với các công ty công nghệ hàng đầu và cơ quan chính phủ về hệ thống quyết định quy mô lớn, cơ chế phối hợp tự động và các dự án tối ưu AI.

Tại MiroMind, Giáo sư An sẽ lãnh đạo đội Runtime & Agent Systems, chịu trách nhiệm thiết kế và phát triển kiến trúc hệ thống thực thi liên tục. Ông sẽ thúc đẩy tích hợp sâu giữa mô hình lý luận và lõi xác minh, xây dựng khung hệ thống có độ tin cậy cao, mở rộng ngang và có thể kiểm toán, tăng cường năng lực về kiến trúc tác nhân, hợp tác đa tác nhân và độ tin cậy hệ thống cho MiroMind.

Tiến sĩ Kaiyu Yang – Nhà khoa học trưởng Phòng thí nghiệm AI Có thể Xác minh

Tiến sĩ Yang từng là Nhà khoa học nghiên cứu tại Meta FAIR và nghiên cứu sau tiến sĩ tại Caltech. Ông có nhiều đóng góp đáng kể trong lĩnh vực lý luận có thể xác minh và hệ thống bằng chứng hình thức, nền tảng của tầm nhìn kỹ thuật MiroMind.

Ông sẽ thành lập và trực tiếp dẫn dắt Phòng thí nghiệm AI Có thể Xác minh, tập trung vào hai hướng nghiên cứu chính: lý luận có thể xác minh và tạo ra có thể xác minh. Các công nghệ này sẽ được áp dụng trong tạo mã, chứng minh toán học và các nhiệm vụ lý luận phức tạp. Đội của ông sẽ xây dựng dây chuyền kỹ thuật hoàn chỉnh từ nghiên cứu cơ bản, kỹ thuật hệ thống đến triển khai sản phẩm, tạo ra năng lực AI đảm bảo tính đúng đắn có thể kiểm chứng bằng máy, nâng cao cơ bản độ tin cậy và tín nhiệm.

Người sáng lập MiroMind, ông Chen Tianqiao, phát biểu về việc bổ sung ba nhà khoa học AI:

"Từ Tiến sĩ Yang dẫn dắt mảng xác minh, Giáo sư An phụ trách hệ thống tác nhân, đến Tiến sĩ Du quản lý mô hình lý luận và đào tạo, chúng tôi đã có 'tam giác sắt' quan trọng để hiện thực hóa Trí Tuệ Khám Phá. Đây là bước hoàn thiện chiến lược AI của chúng tôi. Bước tiếp theo là đưa động cơ này vào hoạt động. Chúng tôi rất mong đội ngũ đẳng cấp thế giới này dẫn dắt chúng tôi xây dựng AI thế hệ mới thật sự đáng tin cậy, có trách nhiệm, giải quyết các vấn đề nghiêm trọng."

Khởi nguồn của MiroMind

Năm 2024, Chen gặp Liang Wenfeng, người sáng lập DeepSeek lúc đó chưa nổi tiếng. Họ đã có cuộc trò chuyện kéo dài bốn giờ về các mô hình lớn điều khiển bởi sự tò mò và khoa học thần kinh. Được truyền cảm hứng từ quan điểm của Liang, Chen quyết định không đầu tư vào DeepSeek mà bắt đầu dự án AI mô hình lớn riêng. Liang từng nói:

"Bạn không cần đầu tư. Mọi thứ tôi làm sẽ mở nguồn – bạn có thể sử dụng, nhưng đầu tư không đảm bảo khi nào có lợi nhuận."

Xây dựng đội ngũ, thu hút nhân tài và sứ mệnh

Chen Tianqiao hào phóng thu hút nhân tài AI hàng đầu với chính sách giúp các nhà nghiên cứu chỉ tập trung vào nghiên cứu, ông lo toàn bộ chi phí và sẵn sàng chia sẻ nửa cổ phần công ty với cộng tác viên. Ông tin rằng "công nghệ, vốn và tầm nhìn kép" chính là công thức thành công cho AI.

MiroMind không đặt mục tiêu xây dựng hệ thống đàm thoại mới mà là tạo ra trí tuệ khám phá – một hệ sinh thái AI giúp con người phát hiện tri thức mới và giải quyết các vấn đề cốt lõi trong y học, năng lượng và khoa học.

Chen Tianqiao về tổ chức "không quản lý" (Manageless)

Chen hướng tới xây dựng công ty AI "không quản lý", phát triển theo ba giai đoạn: kích hoạt, bản địa và thức tỉnh. MiroMind đang chuyển từ giai đoạn kích hoạt sang bản địa, trong đó AI đóng vai trò CEO trong thực thi, con người là hội đồng định hướng. Quản lý truyền thống và KPI đang được tái định nghĩa, cấu trúc công ty trở nên linh hoạt với các tác nhân thông minh hướng mục tiêu.

Giới thiệu về MiroMind

MiroMind, do Chen Tianqiao sáng lập, là công ty nghiên cứu và công nghệ AI quốc tế có trụ sở tại nước ngoài. Mục tiêu xây dựng bộ giải pháp tổng quát đầu tiên trên thế giới – một hệ thống AI tập trung lý luận, đầu ra được chứng minh chính xác.

Bằng cách tiên phong trong khả năng lý luận hệ thống 2 có thể xác minh chính thức, MiroMind cung cấp AI đáng tin cậy cho các ứng dụng rủi ro cao trong kỹ thuật phần mềm, dịch vụ tài chính, y tế và dược phẩm, pháp lý và tuân thủ, cũng như nghiên cứu khoa học.