Dimension tərəfindən idarə olunan 10.6 milyon dollarlıq vəsait toplama raundu, düzgünlüyün riyazi sübutları ilə dəstəklənən, köklü şəkildə yeni bir elmi süni intellekt növü quran dünya səviyyəli Prinston riyaziyyatçıları və fiziklərindən ibarət komandanı dəstəkləyir. PRİNSİTON, N.J., 17 avqust 2026 /PRNewswire/ -- Yeni növ elmi və texniki süni intellekt inkişaf etdirən fundamental tədqiqat laboratoriyası olan Lanyon AI , Dimension tərəfindən idarə olunan və Industrious Ventures -in iştirakı ilə keçirilən 10.6 milyon dollarlıq ilkin vəsait toplama raundundan sonra gizli fəaliyyətdən çıxdı. Lanyon AI sərt elmləri: fizika, mühəndislik, GPU nüvə optimallaşdırılması, qabaqcıl süni intellekt nəticəsi və düzgünlüyün qeyri-məcburi və riyazi dəqiqliyin əsas olduğu digər missiya-kritik vəzifələri hədəfləyir. Saniyələr ərzində Lanyon adlı Lanyon -un süni intellekt agenti, GPT-5.6 və Fable 5 kimi qabaqcıl modellərin token və hesablama xərclərinin yalnız kiçik bir hissəsi ilə mürəkkəb fiziki sistemlərin simulyasiyalarını yarada, mürəkkəb riyazi teoremləri sübut edə və yeni qabaqcıl alqoritmlər icad edə bilər. Daha da diqqətəlayiqdir ki, hazırda mövcud olan digər süni intellekt agentlərindən fərqli olaraq, Lanyon tərəfindən yaradılan hər hansı bir kod və ya məlumat onun quruluşu etibarilə sübut oluna bilən dərəcədə düzgündür: Lanyon -un yaradılan kodunun rəsmi spesifikasiyasına uyğun gəlməməsi riyazi cəhətdən qeyri-mümkündür. Quruluş etibarilə düzgünlük möcüzə kimi səslənir, lakin bu, Lanyon -un daxili riyazi strukturunun təbii nəticəsidir. Lanyon AI -nin həmtəsisçisi və CEO -su Jonathan Gorard soruşur: “ 2026 -cı ildə agentlər niyə hələ də qeyri-mükəmməl insan dillərində düşünür və kodlaşdırırlar?” “Niyə agentin vahid rəsmi dildə oxumasını, yazmasını və düşünməsini təmin etməyək ki, buradan tətbiqlər və düzgünlük sübutları eyni vaxtda yaradıla bilsin?” Bir çox süni intellekt şirkəti, LLM -in Lean kimi sübut köməkçisi dilindən istifadə edərək bir kod parçası üçün rəsmi düzgünlük sübutu yaratdığı “avtomatik formallaşdırma” iş axını təklif etmişdir. Gorard -a görə, bu cür yanaşmalar ağıllıdır, lakin onlar kodun və sübutun həqiqətən uyğun gəlmədiyi əsas yanlış formallaşdırma riskini daşıyır. “Bunun əvəzinə, Lanyon AI -də tətbiq etdiyimiz şey neyrosimvolik yanaşmadır: LLM -in yaxşı olduğu işi – yaradıcı olmaq və maraqlı ideyalar təklif etmək – etməsi, eyni zamanda simvolik metodlardan yaxşı olduqları işi – qüsursuz etibarlı və proqnozlaşdırıla bilən olmaq – üçün istifadə etməkdir.” LLM bir spesifikasiya yaradır və sonra etibarlı simvolik metodlar bu spesifikasiyanı eyni vaxtda koda və sübutlara çevirir. Əgər spesifikasiyanın düzgünlüyü ciddi şəkildə sübut edilə bilmirsə, kod sadəcə yaranmır və Lanyon bunu edə bilənə qədər yenidən cəhd etmək üçün dövrəyə qayıdır. Lanyon -un rəsmi spesifikasiya dilinin başqa bir əsas üstünlüyü var: o, yüksək dərəcədə sıxlaşdırılmış və domenə xas olduğu üçün Lanyon nəinki 100% etibarlıdır, həm də mövcud qabaqcıl modellərlə müqayisədə son dərəcə sürətli və aşağı qiymətlidir. Dimension -un Tərəfdaşı və Tədqiqat Rəhbəri Simon Barnett deyir: “ LLM -lər proqram təminatının inkişafını dəyişdirdi və rəsmi riyaziyyatda dalğalar yaratmağa başladı.” “Olimpiada səviyyəli sübutlar və göz oxşayan benchmark nəticələri ilə bağlı başlıqlara baxmayaraq, növbəti token proqnozu hələ də 'əsasən düzgün' ilə bitir, bu isə uçuş nəzarəti, nüvə sistemləri və çip lentlərinin simulyasiyası üçün tələb olunan standartı ödəmir. Buna görə də, Lanyon komandasını dəstəkləməkdən inanılmaz dərəcədə həyəcanlıyıq, çünki onlar onilliklər boyu rəsmi metodlar təcrübələrini mühəndisin niyyəti, tapşırığın rəsmi spesifikasiyası, eləcə də yaradılan riyaziyyat və icra kodu arasında uyğunluğu təmin edən neyrosimvolik DSL -lərə çevirirlər. Sabahın ən çətin fiziki problemləri düzgünlüyün açıq zəmanətlərini tələb edir.” Lanyon AI ilkin olaraq aerokosmik mühəndislik, kosmos və atmosfer hərəkəti və nüvə enerjisi kimi kritik sənayeləri hədəfləyir, burada yüksək dəqiqlikli və etibarlı hesablama simulyasiyaları vacibdir. Lanyon AI -nin həmtəsisçisi və CTO -su Ammar Hakim deyir: “Rəsmi olaraq təsdiqlənmiş, yüksək dəqiqlikli simulyasiyalar dərin elmi və mühəndislik problemlərinin həlli üçün kritikdir.” “ Lanyon yaradıcılığı açır və elm və texnologiya şirkətlərinin bəşəriyyətin ən çətin problemlərindən bəzilərini həll edərkən əldə edə biləcəyi həllərin əhatə dairəsini genişləndirir.” Lanyon AI Jonathan Gorard , Ammar Hakim və James (Jimmy) Juno tərəfindən təsis edilmişdir, onların hamısı əvvəllər Prinston Universiteti və/və ya Prinston Plazma Fizikası Laboratoriyası nda çalışmışlar. Gorard , əvvəllər Stephen Wolfram ilə Wolfram Fizika Layihəsi nin həmtəsisçisi kimi tanınan mükafatlı tətbiqi riyaziyyatçıdır. Hakim , maye mexanikası, nüvə sintezi və aerokosmik mühəndislik sahəsində dərin təcrübəyə malik dünya səviyyəli hesablama fizikiçisidir. Juno , laboratoriya, kosmos və astrofiziki plazmalardakı ən çətin problemlərdən bəziləri üçün qabaqcıl metodlar inkişaf etdirmiş aparıcı plazma fizikiçisidir. Təsisçi komandanın tətbiqi riyaziyyat, hesablama fizikası və elmi süni intellekt sahəsində beş onillikdən çox təcrübəsi var. Lanyon AI Inc. Hesablana bilən kainat üçün rəsmi yoxlama 100 Overlook Center, Suite 2145 Princeton, NJ 08540 Mətbuat Əlaqə: Brian Golden [email protected] MƏNBƏ Lanyon AI Inc.