Nasıl çalışır

İki el, ve aralarında bir güvenlik duvarı.

Çoğu mühendislik-YZ sistemi, bir tasarımı öneren aynı modelin onu puanlamasına da izin verir. Ürünler işte bu yüzden çıkar. PIE, iki rolü mimari düzeyde ayırır ve her iki tarafın da karşı tarafa geçmesini yasaklar.

Üretken taraf

Evrimsel arama geometri önerir: CPPN ağları, alan-kafesleri, L-sistemler, hibrit genomlar, MAP-Elites arşivleri. Sinirsel vekil modeller ve YDM'ler önerebilir ve yönlendirebilir — 968,761 teoremlik anlamsal bir matematik rafı ve atıfta bulunulan mühendislik referansları ilham besler — ama bu tarafta hiçbir şey bir adayı terfi ettiremez.

Kodda uygulanan, bir stil kılavuzunda değil, yetki politikası:

Kodda uygulanan yetki politikası: her satır bir politika bayrağını ayarlandığı değerle eşleştirir ve sistemin hangi parçalarının bir adayı terfi ettirebileceğini, hangilerinin ettiremeyeceğini gösterir.
`physics_gates_promote`	true
`request_text_promotes`	false
`scouts_promote`	false
`llm_narration_promotes`	false
`surrogate_screening`	observe_only

Doğrulama tarafı

Gerçek çözücüler onaylar: Gmsh tetrahedral ağları üzerinde CalculiX sonlu elemanlar analizi (statik ve özfrekans), D3Q19 lattice-Boltzmann gözenek akışı ve kendileri de kıyaslama ile doğrulanmış kurum-içi çekirdekler —

2D yapısal çekirdek, harici bir topoloji-optimizasyon referansıyla 1.66% içinde eşleşiyor recompute-verified
kurum-içi hidrolik çözücü, yayımlanmış Hanoi şebekesi genelinde gerçek EPANET ile 0.0143 m içinde eşleşiyor, ve PIE'nin evrimleştirdiği Hanoi tasarımı, en iyi bilinen yayımlanmış maliyetin +0.269% içinde kalıyor recompute-verified

Kanıt-katmanı merdiveni

PIE'nin ürettiği her sayı bir katman taşır ve katman iddiayı sınırlar:

Üç kanıt katmanı. Tablo her katman için katmanın adını, ne tür bir değerlendirme olduğunu ve o katmanda taşınan bir sayının yapmasına izin verilen en güçlü iddiayı verir.
Katman	Nedir	Ne iddia edebilir
analytical_proxy	Aramayı yönlendiren hızlı döngü-içi eleme modelleri	Yalnızca tavsiye niteliğinde. Asla sonuç olarak yayımlanmaz.
regime_specific_solver	Doğrulanmış kurum-içi fizik çekirdekleri	Kıyaslanmış rejimleri içinde iddia sınıfında
validated_sidecar	Gerçek geometri üzerinde CalculiX / Gmsh	İddia sınıfında.

Bir vekil aramayı yönlendirebilir. Yalnızca gerçek çözücünün sayıları iddia edilebilir. İkisi çeliştiğinde, vekil tanımı gereği yanlıştır — ve bu çelişkinin kendisi ölçülür ve kaydedilir. Bunun pratikte nasıl göründüğünü görün.

Hat

Hattın beş aşaması, sırasıyla. Sol sütun her aşamanın adını verir; sağ sütun orada ne olduğunu açıklar.
ÜRETEÇ	CPPN / alan-kafesi / hibrit genomlar adaylar önerir
GÜVENLİK DUVARI	öneri aşağı geçebilir; yargı asla yukarı geçemez
GERÇEK ÇÖZÜCÜLER	CalculiX + Gmsh + LBM + doğrulanmış çekirdekler, beyan edilen her yük durumunu değerlendirir
KATI GEÇİTLER	en kötü durum belirler; koşu sayılmadan önce her geçidin başarısız olabildiği kanıtlanır
DEFTER	her onayın eklemeli, içerik-adresli kaydı — geçenler ve başarısız olanlar

Bunun neyi ürettiğini görün Tam dürüstlük aygıtı