500 lat na zewnątrz
Skartowane półkule, wyliczone orbity, sfotografowane galaktyki. Kolejna granica nie leży w oddali: leży w precyzji tego, co już tu jest.
Rancagua · Chile · Stosowane B+R
Nie twierdzimy, że AI wie wszystko. Projektujemy wzorzec, który zapewnia nowoczesnej AI rzeczywiste oparcie.
Weryfikacja całego ludzkiego języka w czarnej skrzynce jest nierealna. Tworzymy deterministyczną architekturę neurosymboliczną: metodę w C++23, w której każde krytyczne twierdzenie zakotwicza się w ciągłej przestrzeni [-1, 1]³ oraz audytowalnym grafie. AI proponuje. Krzem weryfikuje.
01 — Geneza
Rancagua, Región de O'Higgins. Semantic Geometry nie powstało w finansowanym laboratorium ani w korporacji technologicznej. Zaczęło się od intuicji, którą jej twórca i założyciel, Marco Retamales Guzmán, rozwijał przez dekady autodydaktycznej pracy: że myśl, uczucie lub prawo fizyki można precyzyjnie zlokalizować w przestrzeni.
Znaczenie pojęć nie jest statyczną definicją w słowniku, lecz matematyczną pozycją w ciągłej przestrzeni współrzędnych. Jeśli Ziemia posiada szerokość, długość i wysokość, by umiejscowić dowolny obiekt, myśl powinna mieć własne osie kartezjańskie: GPS wiedzy.
Lata później ta intuicja okazała się zbieżna z klasyczną psychometrią: pomiarem postaw Louisa Thurstone’a i dyferencjałem semantycznym Charlesa Osgooda. To nie była odosobniona idea; to była idea, która powróciła do własnej tradycji naukowej.
Stąd wynika stanowisko techniczne firmy. Wobec modeli, które trafiają najczęściej bez wyjaśnienia dlaczego, nie odróżniają wiedzy od konfabulacji i zależą od gigantycznych serwerów, Semantic Geometry opiera się na przeciwnej zasadzie: model proponuje, ale graf i sześcian weryfikują.
W tej drodze kryje się piękny i głęboko uczciwy paradoks: silnik ten powstał, by dyscyplinować i uziemiać modele językowe, lecz bez nich nigdy by nie powstał. Przez dekady geometria semantyczna była samotną ideą w notatkach. Ręczne ustrukturyzowanie milionów pojęć i testów w C++23 zajęłoby całe życie. Generatywna AI była kognitywnym katalizatorem, który przyspieszył realizację architektury. LLM były ogniem, w którym wykuto kotwicę dającą im dziś stabilność.
Pojemność sześcianu semantycznego [-1,1]³
Hardware / IEEE 754unikalnych punktów reprezentowalnych
Na oś 2046·2⁵² + 1 9.214.364.837.600.034.817
1 znak · 11 wykładnik · 52 cecha — IEEE 754 binary64
Obliczalne ze specyfikacji IEEE 754: 1022 wykładniki dla |x| < 1, plus wartość dla dokładnie ±1 z zerową mantysą, dla obu znaków.
Aktualne zajęcie produkcyjne
semantic.db v8.0pojęć w grafie
Relacje ontologiczne 5,86M (aktywnych typowanych krawędzi)
884k synonimów
Zmierzone na żywo w semantic.db (2.439.645 pojęć / 5.862.311 relacji / 884.325 synonimów). Zero danych syntetycznych.
Współczesne modele nie eksplorują jeszcze tej przestrzeni — i nie muszą: brama już istnieje. AI proponuje, geometria weryfikuje, a sześcian jest gruntem, na którym ten kontrakt wykonuje się przy znikomym koszcie.
Jeśli każde pojęcie zajmuje punkt w sześcianie — tak jak każdy atom zajmuje punkt w przestrzeni fizycznej —, sześcian mieści tyle pojęć, ile atomów zmieściłoby się w ~6 milionach planet Ziemia.
Ekspansja ku Wnętrzu
Przez pięć stuleci ludzkość rozwijała się na zewnątrz: przemierzając oceany, mierząc kontynenty, wysyłając teleskopy. Semantic Geometry proponuje eksplorację wewnętrzną: przestrzeń zdobywaną precyzją, a nie dystansem. 7,82 × 10⁵⁶ adresowalnych pozycji na standardowym krzemie przy 15 watach.
Skartowane półkule, wyliczone orbity, sfotografowane galaktyki. Kolejna granica nie leży w oddali: leży w precyzji tego, co już tu jest.
Von Neumann pozostawił magistralę liniową: pamięć jako ulicę, gdzie wszystko przemieszcza się gęsiego. SG działa odwrotnie: to, co podobne, sąsiaduje ze sobą. Wiedza nie jest przeszukiwana – jest bezpośrednio napotykana. Indeksy przestrzenne w SQLite, fizyczna lokalność w krzemie.
Przemysł kompresuje język do 1 bitu (BitNet) i nadal tanio halucynuje. Kompresja słów nie daje im domu. SG nadaje prawdzie precyzyjny adres: współrzędne (x, y, z) w sześcianie.
O'HIGGINS · CHILE
“O'Higgins przez wiek wydobywało miedź dla świata. Ekspansja ku Wnętrzu proponuje inne wydobycie: bezgraniczny sześcian semantyczny, w którym AI odkrywa zamiast zmyślać.”
Gęstość IEEE 754 nie jest jednorodna w [-1, 1]: jest ~2048× większa w pobliżu 0 niż w pobliżu ±1. Efektywna rozdzielczość zmienia się w zależności od strefy.
Użyteczna rozdzielczość nie jest ograniczona numerycznie, lecz rzeczywistym odstępem semantycznym między pojęciami (~0,01–0,5). Margines wzrostu wynosi wiele rzędów wielkości.
Pojemność nie jest celem samym w sobie. Osiągnięciem jest to, że przestrzeń nie narzuca sufitu: graf może rosnąć o rzędy wielkości bez zmiany architektury.
Dwa sposoby odpowiadania w obliczu niewiedzy
Model generatywny
Odpowiada zawsze. Jeśli brak danych, tworzy prawdopodobne: płynność i prawdomówność wynikają z tego samego mechanizmu prawdopodobieństwa, uniemożliwiając ich rozróżnienie z zewnątrz.
Weryfikator deterministyczny
Ma prawo milczeć. Geometria ukierunkowuje wnioskowanie, lecz tylko dowód w grafie je certyfikuje. Gdy brak oparcia, system to komunikuje: odmowa jest rzetelną odpowiedzią, a nie błędem.
Różnica nie polega na tym, kto częściej trafia. Polega na tym, że jeden może mylić się bezwiednie, podczas gdy drugi nie może twierdzić bez dowodu.
02 — Wertykały
Na bazie deterministycznej weryfikacji budujemy rozwiązania dla sektorów regulowanych: domen, w których halucynacja kosztuje pieniądze, proces sądowy lub karę.
Operacje flotowe & Telemetria
Geofencing, telemetria i kontrola flot w C++23
Silnik header-only C++23 z REST + trackerem TCP, izolacją multi-tenant i telemetrią sprzętową. Zaprojektowany do pracy w 100% offline, na brzegu sieci (edge).
Księgowość i podatki · Chile
Deterministyczne płace, RLI i bilans podatkowy
Ścisłe chilijskie wyliczenia normatywne: rozliczenia Previred, RLI ProPyme oraz uzgadnianie bilansu finansowego i podatkowego. Każdy wynik podlega audytowi w oparciu o prawo.
Eksperymentalna weryfikacja ontologiczna. Nie stanowi wiążącej porady podatkowej ani księgowej.
Kredyty & Bankowość · Chile
Symulacja kredytowa z pełną audytowalnością amortyzacji
Symulacje kredytowe i harmonogramy spłat z kompletną ścieżką audytu: każda decyzja finansowa jest poparta obliczeniami silnika, gotowa na kontrolę nadzorczą.
Prawo pracy · Chile
Ontologiczne ugruntowanie norm prawa pracy
Zastosowanie silnika weryfikacji w prawie: twierdzenia pracownicze weryfikowane względem grafu i kodeksu pracy, z precyzyjnym wskazaniem artykułów ustaw.
Eksperymentalna weryfikacja ontologiczna. Nie stanowi wiążącej opinii prawnej.
Żadna wertykał nie konkuruje z LLM w finezji językowej: konkuruje tam, gdzie LLM zawodzi: w dostarczaniu odpowiedzi, która wie, kiedy milczeć i potrafi wskazać artykuł prawa. A tam, gdzie chmura nie dociera, nasz silnik działa niezawodnie.
03 — Filary
Nie sprzedajemy generycznych roboczogodzin. Każdy filar rozwiązuje konkretny problem według tych samych zasad: jawna struktura, mierzalna wydajność i trwałe rezultaty.
Budujemy architekturę zapewniającą integralność i punktualność danych. Odporne na błędy potoki ETL, optymalizacja zapytań i mikroserwisy dla realnych obciążeń produkcyjnych.
Łączymy geometrię przestrzeni ukrytych ze stabilnością grafów ontologicznych. Generatywna AI proponuje; silnik neurosymboliczny weryfikuje dowodem matematycznym.
Algorytmy analityczne dla problemów niewybaczających przybliżeń. Optymalizacja kombinatoryczna, geoprzestrzenna i finansowa w przemyśle i decyzjach regulowanych.
05 — Paradygmat & Pobieranie Danych
Rynek próbuje zwalczać halucynacje za pomocą RAG (podobieństwo wektorowe). Wyjaśniamy, dlaczego podobieństwo to nie weryfikacja i jak geometria wnosi pewność.
| Wymiar | Ugruntowanie Semantyczne SG | Tradycyjny RAG (Baza Wektorowa + LLM) |
|---|---|---|
| Mechanizm pobierania | Ciągła projekcja geometryczna w [-1, 1]³ i przechodnie przeszukiwanie ścieżek w grafie formalnym. | Powierzchowne podobieństwo tekstu (odległość cosinusowa embeddingów) wstrzykiwane w prompt. |
| Gwarancja ontologiczna | Deterministyczna: w przypadku braku ścieżki w grafie odpowiada NO_EVIDENCE i milczy. | Brak. LLM może zniekształcić, pominąć lub zaprzeczyć fragmentom pobranym przez sam RAG. |
| Koszt zapytania | 0 tokenów na weryfikację. Całość wykonuje się lokalnie w pamięci RAM C++23. | Wysoki. Tysiące tokenów na zapytanie na opłacenie okna kontekstowego dokumentów. |
| Czas odpowiedzi | Submilisekundowy (mediana 0,37 ms na desktopie / 1,37 ms na mikrokomputerze, kod natywny). | Sekundy (od 2.000 ms do 6.000 ms na wyszukiwanie wektorowe i generowanie autoregresywne). |
| Infrastruktura & Energia | 15 watów na standardowym sprzęcie lokalnym. Działa w 100% offline bez GPU i chmury. | Chmurowe bazy wektorowe, energochłonne farmy GPU i stałe łącze internetowe. |
| Obsługa sprzeczności | Niezgodność topologiczna: wykrywa kolizje reguł i formalnie je odrzuca. | Łączy sprzeczne teksty w płynną, lecz całkowicie błędną narrację („miękka halucynacja”). |
| Audytowalność | Ścisła: wskazuje dokładny węzeł, wagę powiązania i artykuł ustawy. | Przybliżona: wskazuje przeczytany dokument, lecz nie potrafi dowieść logiki wniosku. |
Co zyskuje Semantic Geometry:
Formalną, audytowalną weryfikację, mikrosekundową latencję (<0,2 ms vs 2–6 s na GPU), zerowy koszt tokenów i odporność na sprzeczności. Wymaga wstępnego zamodelowania reguł.
Co zyskuje tradycyjny RAG:
Łatwość połykania mas nieustrukturyzowanych dokumentów (PDF-y, notatki) bez modelowania. Traci jednak kontrolę nad prawdą i możliwość audytu.
Semantic Geometry i RAG nie muszą ze sobą walczyć: SG jest strażnikiem wyjścia czyniącym RAG bezpiecznym na produkcji.
Podobieństwo tekstu to nie prawda ontologiczna. RAG odnajduje podobny tekst; Semantic Geometry dowodzi, czy twierdzenie jest prawdziwe w świecie rzeczywistym.
06 — Laboratorium na Produkcji
Sprawdź rzeczywiste instancje silnika działające w czasie rzeczywistym w różnych wertykałach.
Wertykał Motoryzacyjny
Dekodowanie VIN, homologacja pojazdów i ujednoznacznianie modeli w czasie rzeczywistym.
Retail & Nawigacja Wewnętrzna
Lokalizacja towaru w sklepie: wyznaczanie alejek i kategorii w O(1).
API Model Context Protocol
Autonomiczni agenci i LLM weryfikujący twierdzenia względem sześcianu.
Serwisy działające na netbooku o poborze 15 W, bez GPU i chmury.
Stopień dojrzałości
Semantic Geometry nie jest jeszcze ukończone. Zostało zaprojektowane tak, by nie kłamać, dopóki nie będzie.
Model o niepełnym pokryciu, który wymyśla brakujące fakty, jest o wiele groźniejszy niż ten, który potrafi milczeć. W operacjach przemysłowych i regulowanych ta różnica stanowi istotę produktu.
04 — Tożsamość & Kontakt
Opowiedz nam, jaki system musisz zbudować, który potok ulega awariom lub jakiej decyzji nie potrafisz dziś formalnie uzasadnić. Odpowiadamy rzetelną diagnozą techniczną.
Formularz otwiera Twój program pocztowy z przygotowaną treścią. Żadne dane nie trafiają na serwery pośredniczące.