Süni İntellektlə Riyazi İnqilab: Axiom Math

Mart 2025-ci ildə Stanford Universitetinin keçmiş doktorantı Carina Hong, süni intellektlə çətin riyazi problemləri həll etmək və yenilərini yaratmaq üçün Axiom Math adlı startapını təsis etdi. Bu startap, riyaziyyat sahəsində süni intellekt tətbiqləri ilə yeni biliklərin yaradılmasına yönəlib.

Axiom Math-ın Təsisçisi və Missiyası

Carina Hong, Stanford Universitetində təhsil aldığı müddətdə, matematik tədqiqatlarını inkişaf etdirmək məqsədilə Meta-nın tədqiqatçısı Shubho Sengupta ilə sıx əməkdaşlıq etdi. Bu əməkdaşlıq nəticəsində, Hong universitetdən ayrılaraq, matematik problemləri həll edən və yeni problemlər yaradan süni intellekt modelini inkişaf etdirmək qərarına gəldi.

Hong-un məqsədi, dərsliklərdə, elmi məqalələrdə və arxivlərdə olan riyazi bilikləri proqram təminatına çevirmək və süni intellektin bu biliklər əsasında yeni nəzəriyyələr irəli sürməsini təmin etməkdir. "Riyaziyyat, superintellekt yaratmaq üçün ideal bir platformadır," deyə Hong bildirir.

Komandanın Tərkibi və Maliyyə Dəstəyi

Axiom Math, 64 milyon dollar ilkin sərmayə toplamağı bacarıb. Bu sərmayə B Capital, Greycroft, Madrona və Menlo Ventures kimi tanınmış investisiya şirkətləri tərəfindən təmin edilib. Startapın 10 nəfərlik komandası əsasən Meta-nın Fundamental Süni İntellekt Tədqiqatları (FAIR) laboratoriyasından olan mütəxəssislərdən ibarətdir. Komanda üzvləri arasında tanınmış tədqiqatçılar, o cümlədən 100 illik bir riyazi problemi həll etmiş Francois Charton da var.

Hong-un Təhsil və Elmi Nailiyyətləri

Carina Hong, Çin Xalq Respublikasının Quançjou şəhərində böyüyüb və gənc yaşlarından riyaziyyata maraq göstərib. O, MIT-də bakalavr təhsilini tamamlayaraq, nömrələr nəzəriyyəsi və ehtimallar sahəsində doqquz elmi məqalə yazıb. 2023-cü ildə Frank və Brennie Morgan Mükafatını qazanan Hong, bu mükafatı alan ən gənc tədqiqatçılardan biri olub.

Rəqabət və Gələcək Planlar

Axiom Math, OpenAI və Google DeepMind kimi nəhəng süni intellekt şirkətləri ilə rəqabət aparır. Lakin Hong və komandası, hazırda riyazi problemlərin həlli üçün daha dəqiq və elmi yanaşmalar tətbiq etməyi hədəfləyir. Uzunmüddətli perspektivdə, Axiom-un texnologiyasını maliyyə analitikası, çip dizaynı və hətta kvant ticarəti kimi müxtəlif sahələrə tətbiq etmək planlaşdırılır.

"Çətin riyazi problemləri həll etmək insan ixtiralarının əsasını təşkil edir," deyə B Capital-dən Yan-David Erlich qeyd edir. Axiom Math, bu istiqamətdə insan biliklərinin sərhədlərini genişləndirmək niyyətindədir.