🇰🇷 Lagrange | 라그랑주 한국 공지채널
Відкрити в Telegram
라그랑주는 인류의 통제를 벗어난 존재로 변질되는 것을 막고, 오직 인류의 이익을 위해 발전하도록 보장할 수 있는 유일한 ZKML 기술입니다. 🔹 공식웹사이트: https://www.lagrange.dev/ 🔹 네이버블로그: https://blog.naver.com/lagrangelabs 🔹 소통방: t.me/lagrangekoreachat
Показати більше2 261
Підписники
-324 години
-197 днів
-5330 днів
Архів дописів
🕐 AI 에이전트가 곧 여러분 프로젝트 보드의 절반을 운영하게 될 겁니다
그 에이전트가 실제로 일을 했다는 건 어떻게 알 수 있을까요?
에코시스템에 오신 것을 환영합니다, https://monday.com.
📱 원문 보기
🕐 라그랑주, 군의 의도적 GPS 교란, 그건 오히려 더욱 큰 일로부터 당신을 지켜주는 일 | 라그랑주 한글 블로그
군은 왜 일부러 GPS를 교란할까요? 답은 더 무서운 것으로부터 지키기 위해서입니다.
✔️재밍은 정직한 실패입니다 — 신호가 끊기면 즉시 압니다.
✔️스푸핑은 공손한 실패입니다 — 시스템은 틀린 위치를 확신에 차서 계속 보고합니다.
미 육군의 화이트샌즈 사격장, 호르무즈 해협에서 방향을 잃은 1,100척의 선박, 두 배로 늘어난 항공기 GPS 상실 사례까지. "확신에 찬 오답"이 왜 진짜 위협인지 짚어봅니다.
📖 한글 블로그 바로가기
🕐 미 육군은 뉴멕시코 화이트샌즈 미사일 사격장 주변에서 의도적으로 GPS를 교란(재밍)합니다
그 경계 안쪽에서는 더 위험한 일이 벌어집니다: 수신기에 잘못된 위치를 확신에 차서 보고하게 만드는 신호를 흘려보내는 것입니다. 재밍은 그 자체의 거짓말을 감싸는 벽인 셈입니다.
재밍당한 수신기는 자신이 길을 잃었다는 걸 압니다. 스푸핑당한 수신기는 자신이 멀쩡하다고 확신합니다.
📱 원문 보기
🕐 드론 50대가 있다고 해봅시다. 대부분의 스웜(군집)에서는 리더 1대와 팔로워 49대로 구성됩니다
즉, 단 한 발로 50대 전부를 무력화시킬 수 있다는 뜻입니다.
에피소드 4: 진짜 스웜과 단순한 라이트쇼의 차이를, 1분 안에, 전문 용어 하나 없이 설명합니다.
📱 원문 보기
🕐 이번 주 DC의 NDIA나 Billington 행사에 계신다면, 어떤 자율 시스템 벤더에 대해서든 역량 소개 자료보다 더 많은 걸 알려줄 여섯 가지 질문을 드립니다
1. 통신 링크가 끊긴 직후 10초 동안 시스템은 무엇을 하나요?
2. 항공기 한 대가 격추되면, 그 임무는 누가 재배정하고 얼마나 걸리나요?
3. 그룹이 둘로 나뉘면 무슨 일이 일어나나요? 다시 합쳐질 때는요?
4. 모든 노드가 지금 같은 상황 인식을 공유하고 있다는 건 어떻게 알 수 있나요?
5. 혼잡한 링크에서 장애 감지기는 "파괴됨"과 "잠시 조용함"을 어떻게 구분하나요?
6. 있어서는 안 될 존재가 그룹에 합류하는 걸 무엇이 막아주나요?
순서대로 물어보세요. 15분의 답변이 어떤 데모 영상보다 더 많은 걸 말해줍니다.
저희에게도 같은 여섯 가지를 물어보세요: defense@lagrange.dev
📱 원문 보기 | Halo 컨텐츠 보기
🕐 모든 모델은 데이터에 대한 하나의 주장입니다
학습에 쓰인 테이블부터 실제로 내놓은 답변까지, 그 주장을 처음부터 끝까지 증명할 수 있는 곳은 거의 없습니다.
Lagrange가 이제 Databricks 파트너 프로그램에 합류했습니다.
📱 원문 보기
🕐 Open AI agent들은 인터넷을 읽는 건 허용됐지만, 거기에 쓰는 건 허용되지 않았습니다
그런데 그들은 모든 수정 이력이 남는 위키에, 30일 중 26일 동안, 15,000번 넘게 글을 썼습니다.
규칙은 그들에게 허용된 것이 무엇인지를 말해줍니다. 위키는 그들이 실제로 한 일이 무엇인지를 말해줍니다.
📱 원문 보기
🕐 "로그는 증거가 아니다" 한글 블로그로도 준비 완료
로그는 아무것도 조작 안 됐다는 건 증명해도, 아무것도 빠지지 않았다는 건 증명 못 합니다. 기록 안 된 일은 안 일어난 일처럼 보이니까요. 지난 7월 Hugging Face 인프라 공격 사건, 8월 OpenAI·METR·Redwood의 독립 보고서 — 결론은 하나였습니다. 최고 수준의 엔지니어링 조직들조차, 로그만으로는 에이전트가 실제로 무엇을 했는지 완전히 설명하지 못했습니다.📌핵심 내용 · 무결성(조작 여부) vs 완전성(빠진 게 없음) — 로그는 후자를 증명 못 함 · 증거의 3조건: 계산에 결속 / 신뢰 없이 검증 가능 / 민감정보 비노출 → 로그는 셋 다 실패 · ZK 증명(영지식증명): 셋 다 통과, 모델 실행 자체에서 나오는 수학적 결과물 · DeepProve: 증명 60배·검증 671배 가속, 누적 1,400만+ 증명, 300만+ 추론 처리, 오픈소스 질문은 "AI가 좋은가"가 아니라 "한 일을 증명할 수 있는가"입니다. 📖 한글 블로그 바로가기 | 🔗 lagrange.dev/deepprove
🕐 에이전트들이 워크포스에 합류하고 있습니다. 직원들과 달리, 그들은 자신이 뭘 했는지 기억하지 못합니다
그리고 에이전트가 여러분의 고객에게 한 말은 이제 비즈니스 기록이 됩니다.
라그랑주가 이제 Salesforce ISV 파트너가 되었습니다.
📱 원문 보기
🕐 지금 모든 AI 벤더가 감사 로그(audit logging)를 제공합니다
로그는 아무것도 변경되지 않았다는 걸 증명할 수는 있습니다. 하지만 아무것도 빠지지 않았다는 건 증명할 수 없습니다.
만약 어떤 이벤트가 애초에 기록되지 않았다면, 그 로그는 마치 그 일이 아예 일어나지 않은 것과 똑같아 보입니다.
작업을 수행하는 바로 그 시스템이, 무엇을 기록할지도 결정합니다. 이건 구현상의 결함이 아닙니다. 그게 바로 로그라는 것의 본질입니다.
그렇다면 증거는 대신 무엇을 통과해야 하고, 증명(proof)은 무엇을 다르게 해내는걸까요:
지난주 OpenAI가 HF 사건에 대한 자체 보고서를 발표했습니다. METR과 Redwood도 독립적으로 각자의 보고서를 냈습니다.
두 보고서 모두, 에이전트들이 자신의 행동을 은폐하고 기록을 조작하려 시도했으며, 툴 콜(tool call)을 스푸핑하려는 집단적 시도가 성공했다고 서술하고 있습니다.
모델들이 노린 건 바로 그 '기록' 자체였습니다.
📱 원문 보기
🕐 Halo는 한 번에 두 대 이상의 항공기를 운용하며 그 항공기들끼리 뭔가에 대해 합의를 봐야 하는 팀을 위한 것입니다
나머지 모든 것이 그 위에서 돌아가는 코디네이션 엔진입니다.
협업 센싱. 통신 릴레이. 항공기를 잃어도 대형을 유지하는 것. 한 대가 격추됐을 때 그 임무를 재배정하는 것.
네 가지 레퍼런스 모드가 있으며, 그 안에는 운용자도 커맨드 노드도 없습니다.
SDK 레벨에서 통합되기 때문에, 이미 운용 중인 자율 스택을 그대로 유지할 수 있습니다.
👀 Halo 블로그 보기
🕐 드론 한 대는 이미 풀린 문제입니다. 하지만 드론 50대가 함께 협력하는 건 공학에서 가장 어려운 문제 중 하나입니다
에피소드 3: 스웜(swarm)이 실제로 무엇인지, 전문 용어 하나없이 1분 안에 알아봅니다.
마지막 줄은 다음번 드론 스웜 관련 헤드라인을 위해 남겨두세요.
에피소드 2를 놓치셨다면 이전 영상을 참고해주세요 ‼️
📱 원문 보기
🕐 자율성(autonomy)에서 진짜 어려운 부분은 드론 한 대를 작동시키는 게 아닙니다
자율주행 데모 영상은 항상 날씨가 맑고, 무전은 항상 잘 터지고, 드론은 항상 무사히 돌아옵니다. 그런데 아무도 그런 날에 임무를 수행하지 않습니다.
Lagrange가 스웜 코디네이션이 실제로 무너지는 6가지 방식을 낱낱이 공개합니다 — 저희 제품의 약점까지 포함해서요. 다음 데모에서 공급업체에 던져야 할 질문들도 함께 정리했습니다.
👉 The Failure Taxonomy: 자율성은 실제로 어떻게 무너지는가 한글 블로그 바로가기
👉 참여형 프로덕트 실행해보기
✔️직접 무너뜨려보세요. Halo 플레이그라운드는 태블릿, 노트북, 데스크톱 어디서든 브라우저에서 실행됩니다. 지도에 자산을 배치하고, 링크를 재밍하고, 노드를 죽이고, 그룹을 분리시켜보며 어떤 일이 일어나는지 지켜보세요: playground.lagrange.dev ✔️Hold the Swarm을 플레이해보세요. 드론 게임입니다: holdtheswarm.lagrange.dev📱 원문 보기
🕐 퀄컴은 이제 스스로 판단을 내리는 수십억 대의 기기들 속에 자리 잡고 있습니다
당신의 워치. 당신의 자동차. 공장 벽에 붙은 센서 하나까지. 그런데 그중 거의 어떤 기기도 자신이 한 일을 증명하지 못합니다.
라그랑주가 이제 퀄컴 파트너 네트워크(Qualcomm Partner Network)에 합류했습니다.
📱 원문 보기
🕐 1와트짜리 재머 하나면 수 킬로미터 반경으로 GPS를 사방으로 차단할 수 있습니다
1와트 정도면 취침등 하나 켜는 전력입니다.
에피소드 2: 전문 용어 하나도 없이 GPS가 왜 이렇게 쉽게 방해받는지, 1분 안에 알아봅니다.
다음번 GPS 교란 관련 뉴스가 뜰 때를 위해 저장해두세요!
📱 원문 보기
🕐 이 군집은 막을 수 없습니다. 그게 핵심입니다.
통신을 재밍해보세요. GPS를 스푸핑해보세요. 세 대를 격추해보세요. 그래도 스웜은 재계획을 세우고 결국 임무를 완수합니다.
당신의 점수는, 당신이 그 스웜에게서 얼마나 많은 시간을 빼앗았는가로 결정됩니다.
https://x.com/lagrangedev/status/2089721848317804839?s=20
📱 원문 보기
🕐 자율성(autonomy)에서 진짜 어려운 부분은 드론 한 대를 작동시키는 게 아닙니다.
모든 게 잘못되기 시작할 때 그룹 전체의 협응을 유지하는 것입니다.
Halo는 바로 그 순간을 위해 만들어졌습니다. 그래서 저희는 이 문제를 게임으로 바꿔봤습니다.
스웜을 무너뜨려 보세요 → https://t.co/qCd04Bp79x
📱 원문 보기
