Doğrulayabileceğiniz icat.
PIE, fiziğin tek hakem olduğu evrimsel bir icat motorudur. Mühendislik geometrisini sıfırdan evrimleştirir — ve sonuçlar hakkında yalan söyleyemeyecek şekilde tasarlanmıştır. Bu sitedeki her çözücü sonucu hash'lenmiş bir kanıta kadar izlenebilir ve bunu kanıtlayan manifest yayımlanmıştır.
Kanıtları görün Neler keşfedebileceği Dürüstçe başarısız olan koşuCalculiX-certified declared envelope
Evrimleştirilmiş bir AM yük-arayüz braketi, geleneksel plaka-ve-gusset tasarımının torsiyon altında tümüyle başarısız olduğu, beyan edilmiş 200 kg-yük kapasiteli bir rotorcraft yük zarfını taşıyor. Aynı çözücü, aynı malzeme, aynı yük durumları. Geleneksel parçadan daha ağır — 1.165 kg vs 0.946 kg. Bunu açıkça söylüyoruz, çünkü alternatifi bunu sonradan öğrenmeniz.
Sağdaki fiş bir maket değildir. Bu braketin onay kaydıdır — 31,487 nodes / 126,665 tets içeren bir Gmsh ağı üzerinde CalculiX statik + özfrekans analizi. Tam vaka çalışması →
{
"candidate_id": "bracket_g00095_21d1fa03afc24",
"evidence_tier": "validated_sidecar_calculix_gmsh",
"material": "AlSi10Mg",
"governing_case": "torsion",
"governing_safety_factor": 2.0554,
"mass_kg": 1.1647,
"first_mode_hz": 171.58,
"mesh": "gmsh · 31,487 nodes / 126,665 tets",
"passes": true,
"failures": []
} İki el, ve aralarında bir güvenlik duvarı.
CPPN ağları, alan-kafesleri, hibrit genomlar üzerinde evrimsel arama. YDM'ler ve vekil modeller öneri sunabilir ve yönlendirebilir. Uygunluğu yargılamaktan tamamen izole edilmişlerdir.
Gmsh ağları üzerinde CalculiX FEA, lattice-Boltzmann gözenek akışı, doğrulanmış kurum-içi çekirdekler. Yalnızca gerçek çözücü sonuçları iddia sınıfındadır.
Ön kayıtlı iddialar, eklemeli bir gerçeklik defteri ve yayımlanan her sayıyı hash'lenmiş bir kanıta makine düzeyinde izleyen bir derleyici.
Aynı motor ve aynı güvenlik duvarı her ölçekte çalışır — kristal mikroyapılar, mimarili kafesler, basılabilir bileşenler, su ve enerji şebekeleri, bağlı makineler, dinamik sistemler. Her ailenin kanıt katmanıyla birlikte tam kapsam →
Mimarinin nasıl çalıştığı
Basılabilir bir yanma-odası dilim kuponu.
Bir turbojet OEM'inin kamuya açık belgelenmiş zarfına göre inşa edildi:
CalculiX FEA (eksenel E 136.72 GPa, ilk akma
165.01 MPa), yakınsamış gözenek-akışı LBM,
su geçirmez baskı dosyaları. Raporundaki 10 başlık iddia makine
tarafından derlendi: ALL_TRACED.
Dokuz kampanya. Arama her seferinde daha iyi oldu.
validated_sidecar referans tasarımı geçmek değil
Aynı beyan edilmiş motor-destek braketi kontratı üzerinde dokuz gerçek-çözücü onaylı kampanya boyunca, PIE'nin kendi en iyi emniyetli-geçen tasarımı kampanyadan kampanyaya 47.2% daha hafifledi, ve tek bir 12 saatlik koşu içinde 56.3% daha hafifledi — her nokta CalculiX/Gmsh onaylı. Bu kontrat için beyan edilen naif referans hâlâ tümüyle başarısız oluyor (gerekli 1.5'e karşı SF 0.748), dolayısıyla geçilecek hiçbir şey yok. Bu, aramanın kendine karşı iyileşmesidir, tam olarak böyle ifade edilir. Tam vaka çalışması →
Vekil model on iki kazanan vaat etti. Çözücü on ikisinin de başarısız olduğunu gösterdi.
Hızlı bir döngü-içi vekil model tarafından yönlendirilen 1,063 nesillik bir koşu, en iyi on iki adayını CalculiX onayına gönderdi. Gerçek torsiyon emniyet katsayıları 0.97–1.28 aralığında geldi, hepsi 1.5 barajının altında. Hiçbiri üretime geçmedi.
Sonra sistem kendi vekilini sorguladı:
- onu 40.1% iyimser buldu — 12 adayın 12'si de fazla vaat etmiş
- bildirilen doğruluğunun gerçekliğe kıyasla ~81× hafife alındığını buldu
- güven bandının ~48σ fazla dar olduğunu buldu
- 12 başarısızlığın tamamını, bir sonraki koşu için kanıt olarak başarısızlık müzesine kaydetti
Çoğu mühendislik-YZ hattı bu ürünü yayımlardı. PIE'nin mimarisi tam olarak bunu engellemek için var.
Sayılarla birlikte tam hikayeKendi kurallarına tabi.
Zarf, yük durumları, emniyet barajı, referans tasarım ve tam iddia tavanı — iterasyon 1'den önce dondurulur, böylece iddia sonuca göre uyarlanamaz.
Her gerçek-çözücü onayının eklemeli, içerik-adresli kaydı — hem geçenler hem başarısız olanlar. Vekil sonuçları yapısı gereği giremez.
Yayınlanan her sayı, hash'lenmiş bir kanıttaki bir JSON yoluna eşlenir ve makine tarafından kontrol edilir: ALL_TRACED, ya da adlandırılmış başarısızlıklar. Manifest yoksa, yayın yoktur.
Bağımsız bir doğrulama şeridi, bildirilen sayıları kabul etmek yerine cetvelleri kendisi yeniden çalıştırır. Hiçbir sonuç kendini değerlendirmez.
Önem verdiğiniz bir bileşeni getirin.
Sizin yük zarfınız, sizin sınır koşullarınız. PIE adayları evrimleştirir ve çözücüyle onaylar; siz basılabilir geometri ve tam kanıt zincirini alırsınız.
İş birliği nasıl çalışır Doğrudan e-posta gönderin