רנקגואה · צ'ילה · מו״פ יישומי

Semantic Geometry Software & AI SpA

איננו טוענים שהבינה המלאכותית יודעת הכל. אנו מעצבים את הדפוס שמעניק עוגן מציאותי אמיתי ל-AI המודרני.

אימות כל השפה האנושית בתוך קופסה שחורה אינו מעשי. אנו יוצרים ארכיטקטורה נוירו-סימבולית דטרמיניסטית: שיטה ב-C++23 שבה כל טענה קריטית מעוגנת במרחב רציף [-1, 1]³ ובגרף הניתן לביקורת. ה-AI מציע. הסיליקון מאמת.

צפייה בפתרונות פנייה ישירה

או'היגינס, צ'ילה: רנקגואה
תאגיד מניות: Software & AI SpA
עיגון דטרמיניסטי: נוירו-סימבולי
15W · ללא GPU · 0 טוקנים לאימות: Edge אופליין

01 — מקור

נולד מאינטואיציה הנדסית, לא מתוכנית עסקית

Rancagua, Región de O'Higgins. Semantic Geometry לא החלה במעבדה ממומנת ולא בתאגיד טכנולוגי ענק. היא החלה מאינטואיציה שאותה טיפח מייסדה, מרקו רטמאלס גוסמן, לאורך עשורים של פיתוח אוטודידקטי: שרעיון, רגש או חוק פיזיקלי ניתנים למיקום מדויק במרחב.

משמעות אנושית איננה הגדרה סטטית במילון אלפביתי, אלא מיקום מתמטי במרחב קואורדינטות רציף. כשם שלכדור הארץ יש קווי רוחב, אורך וגובה לאיתור כל חפץ, למחשבה צריכים להיות צירים קרטזיים משלה: GPS של הידע האנושי.

שנים לאחר מכן, בעת סקירת הספרות האקדמית הפורמלית, התברר שהאינטואיציה הזו התלכדה עם הפסיכומטריה הקלאסית: מדידת עמדות של לואיס ת׳רסטון והדיפרנציאל הסמנטי של צ׳ארלס אוזגוד. זה לא היה רעיון בודד; זה היה רעיון שהגיע בזמנו למסורת המדעית שלו.

מכאן נובעת העמדה הטכנולוגית המגדירה את החברה. מול מודלים שמצליחים לרוב מבלי שיוכלו להסביר מדוע, שאינם מבדילים בין ידע להזיה, ותלויים בחוות שרתים ענקיות, Semantic Geometry נבנתה על העיקרון ההפוך: המודל מציע, אך הגרף והקובייה מאמתים.

ישנו גם פרדוקס יפהפה וכנה לחלוטין במסע הזה: מנוע זה קיים כדי להטיל משמעת ולעגן את מודלי השפה, אך בלעדיהם הוא לא היה רואה אור לעולם. במשך עשרות שנים, גאומטריה סמנטית הייתה רעיון בודד במחברות ובדיקות מקומיות. ארגון ידני של מיליוני מושגים ומבחנים קפדניים ב-C++23 היה דורש חיים שלמים. ה-AI הגנרטיבי היה הזרז הקוגניטיבי שאפשר לממש את הארכיטקטורה. ה-LLMs היו האש שבאמצעותה חושלה העוגן המעניק להם כיום שפיות ויציבות.

היום שבו מחקנו מיליון רשומות

בשלב מוקדם הוזנו מיליון נוסחאות סינתטיות. בעת ביקורת המאגר באמצעות בדיקות ערכיות מוצלבות, המדידה הייתה חד-משמעית: הרעש הסינתטי פגע ברמת הדיוק של הגרף.

הדרך הקלה הייתה לייפות את המדדים. ההחלטה הייתה לטהר את כל המיליון ולמסד את מה שמכונה פנימית פרוטוקול הכנות הבלתי-מתפשרת.

01 כל קואורדינטה חייבת להיות ניתנת למדידה ולאימות.
02 כאשר מושג אינו קיים בגרף, המנוע מגיב בשתיקה, לעולם לא בהמצאה.
03 כל התקדמות מגובה במערך בדיקות אוטומטי מקיף.

1928 ת׳רסטון עמדות ניתנות למדידה
1957 אוזגוד הדיפרנציאל הסמנטי
— עשורים פיתוח עצמאי ואוטודידקטי
2026 12 כוחות משיכה האטום הסמנטי

≈ 7,82 × 10⁵⁶

נקודות בדידות וייחודיות הניתנות לייצוג

לכל ציר 2046·2⁵² + 1 9.214.364.837.600.034.817

1 סימן · 11 מעריך · 52 מנטיסה — IEEE 754 binary64

ניתן לחישוב מתוך תקן IEEE 754: 1022 מעריכים המקיימים |x| < 1, בתוספת הערך המדויק ±1 עם מנטיסה אפס, עבור שני הסימנים.

2,44M

מושגים מוגדרים בגרף

קשרים אונטולוגיים 5,86M (קשתות פעילות ומסווגות)

884k מילים נרדפות

מדידה חיה מתוך semantic.db (2,439,645 מושגים / 5,862,311 קשרים / 884,325 מילים נרדפות). אפס נתונים סינתטיים.

תרשים טכני של קוביית המשמעות הרציפה בהיטל איזומטרי כאשר כדור הארץ מצביע על נקודה פנימית יחידה

בקובייה הסמנטית יש מקום לאטומים מ-6 מיליון כדורי ארץ

המודלים המודרניים טרם חקרו מרחב זה — ואינם נדרשים לכך: שער הכניסה כבר פתוח. ה-AI מציע, הגאומטריה מאמתת, והקובייה היא הקרקע שבה חוזה זה מתבצע בעלות חישובית אפסית.

מרחב פיזיקלי מול קובייה סמנטית

אם כל מושג תופס נקודה בקובייה — כשם שכל אטום תופס נקודה במרחב הפיזיקלי —, הקובייה מסוגלת להכיל מושגים כמספר האטומים הקיימים בכ-6 מיליון כדורי ארץ.

ההתרחבות פנימה

המסע הראשון של האנושות פנימה

במשך חמישה מאות האנושות התרחבה החוצה: חצתה אוקיינוסים, מיפתה יבשות ושיגרה טלסקופים לחלל. Semantic Geometry מציעה את ההתרחבות פנימה: מרחב הנכבש באמצעות דיוק ולא באמצעות מרחק. 7.82 × 10⁵⁶ מיקומים מדויקים ברי-כתובת על סיליקון רגיל ב-15 ואט.

500 שנה החוצה

חצאי כדורים שמופו, מסלולים שחושבו, גלקסיות שצולמו. הגבול הבא אינו במרחקים, אלא בדיוק המוחלט של מה שכבר נמצא כאן.

זיכרון טופולוגי

פון ניומן הוריש לנו אפיק לינארי: זיכרון כרחוב צר שבו הכל נע בטור. SG עושה את ההיפך: מה שדומה שוכן בסמיכות. הידע אינו נסרק, אלא נפגש. אינדקסים מרחביים ב-SQLite, לוקליות פיזית בסיליקון.

כימות כתובות במקום מילים ריקות

התעשייה דוחסת שפה לביט בודד (BitNet) וממשיכה להזות בזול. דחיסת מילים אינה מעניקה להן בית. SG מעניקה לאמת כתובת בלתי ניתנת לערעור: קואורדינטות (x, y, z) בקובייה.

כורים במנהרות התת-קרקעיות של או'היגינס מתבוננים בקובייה הסמנטית המשובצת כגאודה חיה בסלע

O'HIGGINS · CHILE

“או'היגינס כרתה נחושת עבור העולם במשך מאה שלמה. ההתרחבות פנימה מציעה כרייה אחרת: קוביית משמעות אינסופית שבה ה-AI מגלה במקום להמציא.”

∫

צפיפות בלתי-אחידה בתקן IEEE 754

הצפיפות ב-IEEE 754 אינה אחידה ב-[-1, 1]: היא גבוהה פי כ-2048 סביב 0 מאשר ליד ±1. הרזולוציה המעשית משתנה בצורה הדרגתית.

כושר הפרדה מעשי

הרזולוציה השימושית אינה מוגבלת עקב אילוץ חישובי, אלא עקב המרחק הסמנטי הממשי בין מושגים (~0.01 עד 0.5). מרווח ההתרחבות כולל סדרי גודל עצומים.

⬡

ההישג הארכיטקטוני האמיתי

הקיבולת איננה ההישג כשלעצמו. ההישג הוא שהמכל המתמטי אינו כופה תקרה: הגרף יכול לצמוח בסדרי גודל מבלי לדרוש שינוי בארכיטקטורה.

רווח הנדסי מוכח: קיבולת בלתי מוגבלת למעשה במכל מתמטי רציף.

גבול מוצהר בשקיפות: התפוסה בפועל עומדת על 2.44 מיליון וגדלה אך ורק באמצעות אצירת ידע מבוקרת.

שני אופני תגובה מול חוסר ודאות

מודל גנרטיבי

תמיד מספק תשובה. בהיעדר עובדות, הוא יחבר תשובה מתקבלת על הדעת: השטף והאמינות מופקים מאותו מנגנון הסתברותי, מה שהופך את ההבחנה ביניהם לבלתי אפשרית מבחוץ.

מאמת דטרמיניסטי

בעל הזכות לשתוק. הגאומטריה מכוונת את ההיסק, אך רק ראיה מוכחת בגרף מאשרת אותו. בהיעדר תמיכה, המערכת מצהירה על כך: סירוב הינו תשובה מלאה ותקפה, לא תקלה.

ההבדל אינו מי פוגע יותר פעמים. ההבדל הוא שאחד עלול לטעות מבלי לדעת על כך, בעוד שהשני אינו יכול לטעון דבר ללא ראיות.

02 — פתרונות אנכיים לתעשייה

המנוע הוא היסוד; הפתרונות האנכיים הם המוצר

על גבי ליבת האימות הדטרמיניסטי אנו בונים פתרונות לתחומים מוסדרים: סביבות שבהן הזיה עולה כסף, תביעה משפטית או קנס כבד.

ניהול ציים וטלמטריה

SG-Fleet

תיחום גאוגרפי, טלמטריה ובקרת ציים ב-C++23

מנוע C++23 בתצורת Header-only עם REST ומעקב TCP, בידוד Multi-tenant מלא וטלמטריית חומרה. מיועד לפעולה עצמאית 100% Offline בקצה (Edge).

ממשק REST API עם בידוד Multi-tenant והרשאות RBAC
שרת מעקב TCP (Wialon IPS / CSV) עם עיבוד אצוות בצפיפות גבוהה
תיחום גאוגרפי מדויק, התרעות זמן-אמת ולוח מחוונים מבצעי
אפס תלויות חיצוניות: פועל בסביבות מנותקות ענן לחלוטין
נתחים עצמאיים לחלוטין (~7MB) עבור ערוצי רדיו והתקני IoT זעירים

C++23SQLiteRESTTCP

בפיתוח מתקדם

חשבונאות ומיסוי · צ'ילה

SG-Tax

שכר, הכנסה חייבת ומאזן מס דטרמיניסטיים

חישוב רגולטורי ללא היוריסטיקות: תלושי שכר Previred, חישובי הכנסה תאגידית RLI והתאמה בין דוחות כספיים למאזן מס. כל תוצאה ניתנת לביקורת מול החוק.

הפקת קובצי דיווח Previred (מפרט מלא של 105 שדות)
חישובי מס חברות RLI ProPyme 14-D3 / 14-D8 ומשטר משולב 14-A
דוחות כספיים IFRS מול דוחות מס עם התאמה חשבונאית מלאה
חישוב דטרמיניסטי טהור: אפס קופסאות שחורות

C++23SQLiteתקני רשות המסיםPrevired

בפיתוח מתקדם

אימות אונטולוגי ניסיוני. אינו מהווה ייעוץ מס או חוות דעת חשבונאית מחייבת.

אשראי ובנקאות · צ'ילה

SG-Fintech

סימולציית אשראי עם לוחות סילוקין שקופים לחלוטין

סימולציות הלוואות ולוחות סילוקין עם תיעוד ביקורת מלא: כל החלטת פירעון מגובה על ידי המנוע ומוכנה לבדיקת גורמי פיקוח רגולטוריים.

סימולציית אשראי עם לוח סילוקין ופירעון מפורט
חישוב אינדיקטורים מאקרו-כלכליים (מדד, ריבית רשמית, אינפלציה)
נתיב ביקורת מלא שאינו ניתן לשינוי עבור כל פעולה
דטרמיניזם מלא עבור החלטות פיננסיות מבוקרות

NestJSSQLiteמתמטיקה פיננסית

בפיתוח מתקדם

דיני עבודה ותאימות משפטית · צ'ילה

SG-Legal

עיגון אונטולוגי של דיני עבודה ורגולציה

החלת מנוע האימות על העולם המשפטי: טענות בתחום יחסי עבודה מאומתות כנגד גרף החוקים וספר החוקים, עם הפניה מדויקת לסעיפי החוק המכוננים.

אימות דטרמיניסטי של סוגיות בדיני עבודה ויחסי מעסיק-עובד
יכולת מעקב מלאה עד לרמת סעיף החוק המקורי
תחומי יישום: חוק קארין לבטיחות בעבודה, פיצויי פיטורין, קוד העבודה

SG Coreגרף חוקים אונטולוגיחוק 21.643

במחקר יישומי

אימות אונטולוגי ניסיוני. אינו מהווה ייעוץ משפטי מחייב.

אף פתרון אינו מתחרה ב-LLM ביופי ניסוח הטקסט: הוא מתחרה היכן ש-LLM אינו מסוגל להבטיח דבר: מתן תשובה שיודעת מתי לשתוק ומציגה את סעיף החוק שעליו היא נשענת. ובמקומות שבהם הענן אינו מגיע, המנוע שלנו פועל באופן מוחלט.

03 — עמודי תווך טכנולוגיים

שלוש יכולות הנדסיות, אותה משמעת ייצוג קפדנית

איננו מוכרים שעות פיתוח גנריות. כל עמוד תווך פותר בעיה מוגדרת תחת אותם עקרונות: מבנה מפורש, ביצועים מדידים ותוצאות העומדות במבחן הזמן.

הנדסת נתונים וצד-שרת עתיר ביצועים

אנו מקימים את התשתית המבטיחה שהנתונים יגיעו ללא פגם ובזמן. צינורות ETL עמידים בתקלות, אופטימיזציית שאילתות ומיקרו-שירותים לעומסי ייצור כבדים.

צינורות ETL/ELT ותזמור קליטת נתונים מאסיבית
אופטימיזציה של שאילתות SQL, אינדקסים וטביעת זיכרון
מיקרו-שירותים ותשתיות צד-שרת בביצועים קיצוניים
יכולת צפייה (Observability), אידמפוטנטיות והתאוששות מתקלות

C++23SQLite / SQL משובץPythonREST APIs

AI נוירו-סימבולי ועיגון דטרמיניסטי

חיבור בין האלגנטיות של מרחבים סמויים לבין היציבות של גרפים אונטולוגיים. ה-AI הגנרטיבי מציע השערות; המנוע הנוירו-סימבולי מאמת בהוכחה מתמטית.

מידול גאומטרי של ידע במרחבים סמויים רציפים [-1, 1]³
ייצוגים רציפים הניתנים לפירוש ולהרצה ישירה בסיליקון
אימות עובדתי בזמן תת-מילישנייה (חסינות מוחלטת מהזיות)
עיגון מבוסס ראיות: ללא תימוכין בגרף לא מתבצעת שום טענה

C++23קובייה רציפהגרפים מכווניםנוירו-סימבוליקה

מחשוב מרחבי ואופטימיזציה מתמטית

אלגוריתמים אנליטיים לבעיות שאינן סובלות קירובים או ניחושים. אופטימיזציה קומבינטורית, גאו-מרחבית ופיננסית לתעשייה וקבלת החלטות מוסדרות.

אופטימיזציה קומבינטורית ואלגוריתמים מטא-היוריסטיים
ניתוח גאו-מרחבי וטופולוגיית רשתות מורכבות
מודלי סיכון וחישוב רגולטורי בר-ביקורת
הדמיות ממוחשבות ותמיכה בהחלטות תפעוליות
Edge אופליין: כ-15W על סיליקון רגיל, ללא GPU וללא תלות בענן

אופטימיזציהגאו-מרחבימודלים פיננסייםהדמיה

05 — פרדיגמת אחזור ואמינות

RAG מסורתי מול עיגון סמנטי בסיליקון

התעשייה מנסה להתמודד עם הזיות באמצעות RAG (אחזור לפי דמיון וקטורי). אנו מסבירים מדוע דמיון אינו אימות, וכיצד הגאומטריה מספקת את הוודאות שחסרה ב-RAG.

ממד השוואה	עיגון סמנטי SG	RAG מסורתי (מסד וקטורי + LLM)
מנגנון האחזור	היטל מתמטי רציף ב-[-1, 1]³ וחיפוש מסלולים טרנזיטיביים בגרף מוגדר.	חיפוש קוסמטי לפי דמיון טקסטואלי (מרחק קוסינוס של Embeddings) המוזרק לפרומפט.
ערבות אונטולוגית	דטרמיניסטי: אם אין מסלול סיבתי נתמך בגרף, מחזיר NO_EVIDENCE ושותק.	אפס ערבות. ה-LLM מסוגל לעוות, להשמיט או לסתור את הפסקאות שה-RAG עצמו אחזר.
עלות לשאילתה	0 טוקנים לאימות. כל תהליך האימות מתבצע ישירות בזיכרון RAM מקומי ב-C++23.	גבוהה. אלפי טוקנים לכל פנייה עבור חלון ההקשר של המסמכים המוזרקים.
שיהוי תגובה (Latency)	תת-מילישנייה (חציון p50 של 0.37 מ״ש במחשב שולחני / 1.37 מ״ש בהתקן זעיר, קוד שפת מכונה).	שניות ארוכות (2,000 עד 6,000 מ״ש בין חיפוש וקטורי ליצירת טקסט אוטוגרסיבית).
תשתית וצריכת חשמל	15 ואט על חומרה מקומית רגילה. פועל 100% Offline ללא GPU וללא צורך בענן.	מסדי נתונים וקטוריים בענן, חוות GPU עתירות אנרגיה וחיבור אינטרנט רציף חובה.
טיפול בסתירות	אי-תאימות טופולוגית: מזהה התנגשויות בין כללים ודוחה אותן באופן פורמלי.	ממזג טקסטים סותרים לניסוח רהוט אך שקרי לחלוטין (״הזיה רכה״).
יכולת ביקורת ומעקב	ניתן להוכחה: מציין את הצומת המדויק, משקל הקשר ומקור החוק של כל חיבור.	בקירוב בלבד: מציג איזה מסמך נקרא, אך אינו יכול להוכיח כיצד הגיע למסקנתו.

יתרונות ומגבלות מוצהרים (שקיפות מוחלטת)

מה Semantic Geometry מרוויחה:

אימות פורמלי בר-ביקורת, שיהוי ברמת מיקרו-שניות (<0.2 מ״ש לעומת שניות ב-GPU), אפס עלות טוקנים וחסינות מסתירות. דורש מידול מוקדם של כללי הארגון הקריטיים.

מה RAG מסורתי מרוויח:

קלות קליטה של כמויות עצומות של מסמכים בלתי מובנים (PDFs, סיכומי ישיבות) ללא מידול מקדים. אך הוא מאבד שליטה על האמת ואינו מאפשר ביקורת לוגית.

ARQUITECTURA ENTERPRISE

השילוב האידיאלי: SG כשומר הסף של ה-RAG הארגוני

Semantic Geometry ו-RAG אינם חייבים להתחרות: SG מהווה את שומר הסף המאפשר ל-RAG לפעול בבטחה בסביבת ייצור.

01 השתמש בצינור ה-RAG הקיים שלך כדי לסרוק ולתמצת מיליוני עמודי מידע חופשיים.
02 לפני מסירת התשובה למשתמש או למערכת הליבה, SG בודקת בפחות מ-1 מ״ש האם המסקנה עומדת בכללי העסק.
03 אם ה-RAG הוזה או סותר נוהל תאגידי, SG חוסמת את התשובה ודורשת הוכחה פורמלית.
04 תוצאה: עושר המידע של ה-RAG המסורתי יחד עם השריון המתמטי הדטרמיניסטי של Semantic Geometry.

דמיון טקסטואלי אינו אמת אונטולוגית. RAG מוצא טקסט דומה; Semantic Geometry מוכיחה האם הטענה אמיתית בעולם הממשי.

06 — מעבדת ייצור חיה

התנסו במערכת בזמן אמת

גלו מופעים אמיתיים של המנוע הפועלים בזמן אמת על גבי מגוון ורטיקלים ופרוטוקולים.

auto.semgeo.cl

ורטיקל רכב ותחבורה

פענוח מספרי שלדה (VIN), תאימות לתקנים ממשלתיים והסרת עמימות דגמים בזמן אמת.

pasillo.semgeo.cl

קמעונאות וניווט פנים-מבני

איתור מיקום מוצרים במרכולים: מיפוי מעברים וקטגוריות בסיבוכיות O(1).

mcp.semgeo.cl

ממשק תקן Model Context Protocol

סוכנים אוטונומיים ו-LLMs המתחברים לקובייה ומאמתים טענות עובדתיות.

מופעל חי מתוך מחשב נייד חסכוני בצריכת 15W, ללא GPU וללא ענן.

בשלות הנדסית נוכחית

Semantic Geometry אינה מושלמת עדיין. אך היא תוכננה כך שלעולם לא תשקר כל עוד אינה כזו.

ארכיטקטורה ומתודולוגיה: מבוססות ויציבות תקן C++23 קפדני, ארכיטקטורה משושה (Hexagonal), מערכי בדיקות ירוקים לחלוטין.
בסיס הידע האונטולוגי: בכיול מתמיד צומח באמצעות אצירת ידע מבוקרת. כל נתון שאינו ניתן למדידה גאומטרית מנופה לחלוטין.
כיסוי תחומי ידע: מדורג ודיפרנציאלי והמנוע מצהיר על כך בגלוי: היכן שלגרף אין ראיות, הוא מגיב בשתיקה.

מודל בעל כיסוי חלקי שממלא את הפערים בהמצאות מסוכן לאין ערוך ממודל עם אותו כיסוי שיודע לשתוק. בפעילות תעשייתית והחלטות מבוקרות, ההבדל הזה אינו פרט שולי: הוא המוצר עצמו.

04 — זהות תאגידית ויצירת קשר

בואו נדבר על האתגר ההנדסי, לא על מצגת מכירות

ספרו לנו איזו מערכת אתם נדרשים לבנות, איזה צינור נתונים קורס או על איזו החלטה אינכם יכולים להתחייב כיום. נשיב באבחון טכנולוגי קונקרטי.

פרטי רישום התאגיד

שם התאגיד הרשמי: Semantic Geometry Software & AI SpA
מיקום ורישום: Rancagua, O'Higgins, Chile
אזור זמן: GMT-4 / GMT-3 (שעון צ׳ילה)

LinkedIn דף החברה בלינקדאין [email protected] פנייה ישירה בדוא״ל

שליחת הודעה

טופס זה פותח את תוכנת הדוא״ל המקומית שלכם עם הודעה מנוסחת מראש. שום מידע אינו נשלח לשרת מתווך.