🇰🇷 Lagrange | 라그랑주 한국 공지채널

🕐 출시 한 달 만에 플레이어들이 스웜에 가한 공격은 약 8,000회로, 한 달 시점 기록의 세 배가 넘습니다 미션을 시작한 사람의 67%가 끝까지 완주했습니다. 플레이어들은 스웜을 어떻게 저지하고 있을까요? 재밍 84%, 스푸핑 12%, 격추 4%. 대부분의 미션에서는 드론을 단 한 대도 격추하지 않았습니다. 여러분은 가장 먼저 어떤 방법을 쓰셨나요? https://x.com/lagrangedev/status/2113633290037166236?s=20

🕐 추진력은 단 3초. 그다음엔 활공합니다 당신 위 어딘가에, 드론 한 대. Pursuit는 무료 브라우저 게임입니다. 레이더로 드론을 찾고, 그대로 날아가 부딪히고, 리더보드에 이름을 올리세요. 그리고 당신의 T+ 기록을 공유해 주세요. https://pursuit.lagrange.dev/?utm_source=x&utm_medium=organic 📱 원문 보기

🕐 AI 모델의 가중치를 조금만 바꿔도 그 모델이 무엇을 계산했는지에 대한 증명은 처음부터 다시 만들어야 합니다 @chbpap이 동적 zk-SNARK(dynamic zk-SNARKs)로 모델이 바뀔 때 증명도 함께 업데이트하는 방법을 보여줍니다. 📱 원문 보기

🕐 라그랑주 한글 블로그 업데이트 "내 AI가 방금 뭔가를 샀습니다. 누구에게 연락해야 할까요?"

싼 달걀을 찾아달라고 했을 뿐인데, 사라고 한 적 없는 달걀을 $31.43에 사버린 AI 에이전트. Target, Microsoft, eBay, Shopify는 약관에 "우리 책임 아님"이라고 적어뒀고, 보상하겠다고 나선 Amex는 6개월째 "앞으로 할 예정"입니다라고만 합니다. 카드사들이 만들고 있는 기록은 내가 무엇을 승인했는지만 증명할 수 있습니다. 모델이 "싼"을 어떻게 해석했는지, 그때 어떤 모델이 돌아가고 있었는지는 증명하지 못하죠. 지시는 증명할 수 있지만 추론은 증명할 수 없는 지금, 그 빈틈을 메울 추론 증명과 DeepProve 이야기를 담았습니다.

📖 블로그 전문 읽기

🕐 한 기자가 AI 에이전트에게 싼 달걀을 찾아달라고 했습니다 그런데 에이전트는 그걸 실제로 구매해 버렸습니다. 총 $31.43, 여기엔 에이전트가 알아서 추가한 $3 우선 배송비까지 포함됐습니다. 그가 사라고 한 적도 없는 달걀 한 판에 말이죠. 그렇다면 이제, 그게 당신의 카드였다면 누가 책임져야 할까요? 📱 원문 보기

🕐 사람이 더 들어온다고 빨라진 회의는 없습니다 한 명이 늘면, 그 사람이 새로 끼게 되는 대화가 전부 늘어납니다. 6명이면 15번의 대화, 50명이면 1,200번입니다. 에피소드 9: 드론 하나하나가 덜 알수록 스웜이 확장되는 이유.

🕐 라그랑주 KBW 기념 생태계 참여 이벤트 당첨자 발표 라그랑주 Hold the Swarm / Lagrange Receipts Printer를 통한 생태계 참여활동을 해주신 모든 분들께 감사드립니다‼️ 아래와 같이 당첨자를 발표합니다.

@lmslms1004 @dhl1013 @Ark_6599 @dn0574 @Bongdidi @andante89 @soonuu78 @didhkd @misty2318 @pispis86 @Looksware @daeseonhan @minimi1217 @jiu09876 @sinwoo1649

✔️ 상품 지급은 일주일내 텔레그램 DM으로 전달될 예정 ✔️ 내부 필터링 기준에 의해 다계정 및 중복 제출 의심자들은 제외되었습니다

🕐 모델이 화요일에 재학습되면 그 모델에 대한 모든 증명(proof)을 처음부터 다시 해야 합니다 저희 수석 과학자 @chbpap이 Eurocrypt 2026 논문을 풀어서 설명합니다. 처음부터 다시 만드는 대신 업데이트되는 증명에 관한 내용입니다. 논문: https://eprint.iacr.org/2024/1566 📱 원문 보기

🕐 라그랑주 한글 블로그 업데이트 "당신의 드론 업체는 '자율'이라고 말합니다. 실제로 조종하는 건 누구일까요?"

미시간에 있는 원격 상담원 한 명에게 예/아니오를 물어보고, 그 답을 그대로 믿고 정지 표지판을 지나친 웨이모. '자율'이라는 단어는 그 뒤에 사람이 있다는 사실을 알려주지 않았고, 드론에서도 마찬가지입니다. 조이스틱으로 날리는 기체부터 20분째 연결이 끊긴 채 알아서 도는 기체까지, 영업 자료에서는 모두 '자율'이라는 한 단어로 불립니다. 그래서 무전이 끊겼을 때, 기체 한 대가 사라졌을 때, 그룹이 둘로 갈라졌다 합쳐질 때 어떻게 되는지 직접 물어봐야 합니다.

📖 블로그 전문 읽기

🕐 드론 업체는 "자율(autonomous)"이라고 말합니다. 그런데 실제로 그걸 조종하는 건 누구일까요? 승객 없이 달리던 웨이모 자율주행차가 스쿨버스 앞에서 가장 먼저 멈춰 섰습니다. 버스는 정지 표지판을 펼친 상태였죠. 다른 차량 네 대는 그냥 지나갔습니다. 그러고 나서 웨이모는 미시간에 있는 원격 어시스턴트에게 버스의 신호등이 켜져 있는지 물었고 그는 아니라고 답했으며, 웨이모는 그 팔을 지나 그대로 주행했습니다. "자율(autonomous)"이라는 단어는 미시간에 한 사람이 있다는 사실을 알려주지 않았습니다. 드론의 반대편에 누가 있는지도 마찬가지로 알려주지 않습니다. 📱 원문 보기

🕐 라그랑주 한글 블로그 업데이트 “OpenAI의 에이전트가 호주에서 무엇을 했는지, 아무도 증명할 수 없습니다. OpenAI도 마찬가지입니다.”

피부 연고 지출 통계를 찾던 AI 에이전트가 호주 정부 포털 안까지 들어갔습니다. 정부, 보안 연구자, OpenAI의 설명이 서로 다르고, 에이전트가 실제로 무엇을 했는지 외부에서는 확인할 방법이 없습니다. AI 에이전트에게는 사고 후 열어볼 "블랙박스"가 없습니다. 그래서 추론 증명(proof of inference)이 필요합니다.

📖 블로그 전문 읽기

🕐 여러분의 차는 광고에서는 자율주행이라고 하면서 여전히 핸들에서 손을 떼지 말라고 합니다 안전 규제 당국은 이를 대놓고 말합니다. 구매할 수 있는 가장 높은 단계도 운전자의 온전한 주의가 필요하다는 것입니다. 에피소드 8: '자율'이 실제로 무엇을 뜻하는지, 그리고 그것을 가려주는 단 하나의 테스트. 📱 원문 보기

🕐 소프트웨어의 모든 신뢰 메커니즘은 하나의 질문으로 귀결됩니다 그 기록은 누가 만들었는가. 로그는 시스템이 사후에 만들며 시스템이 쓰기로 정한 내용만 담고 있습니다. 감사는 사람이 나중에 그 로그를 바탕으로 만듭니다. 증명은 연산이 실행되는 동안 연산 자체가 만듭니다. 아무도 쓰지 않습니다. 아무도 고칠 수 없습니다. 차이는 그게 전부입니다. 지난주에 올린 두 번째 글에서는 이렇게 말했습니다: 서명된 로그는 올바른 모델이 실행됐다고 알려줍니다. 더 저렴한 모델을 몰래 돌린 시스템이 만든 서명된 로그도 똑같이 그렇게 말해줍니다. 📱 원문 보기

🕐 모든 자율 시스템은 언젠가, 그 시스템이 한 일 아래에 한 사람이 자기 이름을 걸어야 하는 순간에 이릅니다 대시보드가 아닙니다. 서명입니다. 책임질 사람이 나서서 "이런 일이 있었고, 제가 어떻게 아는지는 이렇습니다"라고 말하는 것입니다. 우리는 그동안 만든 사람을 믿는 방식으로 이 문제를 다뤄왔습니다. 하지만 모델이 아무도 들여다보기 전에 먼저 결정을 내리기 시작하고, 스웜이 아무도 고개를 들기 전에 천 번을 결정하기 시작하면서, 그 방식은 더 이상 통하지 않게 됐습니다. 어떻게 알 수 있을까요? 우리가 만드는 모든 것은 이 질문에 대한 답입니다. 📱 원문 보기

🕐 OpenAI의 한 모델에게 빅토리아주가 피부 질환 약에 얼마를 쓰는지 물었습니다 그런데 그 모델은 메디케어(Medicare) 포털 안으로 들어가 인증 정보를 빼내고 있었고, 그 와중에도 여전히 피부 질환 약을 찾고 있었습니다. 그 일은 6월 18일에 일어났습니다. 호주는 9월 10일이 되어서야 그 사실을 알게 됐고 알려준 곳은 OpenAI였습니다. 📱 원문 보기

🕐 AI가 "프라이빗"하다는 인증서, 정말 믿어도 될까요? AI 제공업체는 여러분의 채팅이 비공개였음을 증명하는 인증서를 보여줄 수 있습니다. 그런데 그런 인증서를 만들어주는 봇도 있습니다. 조지아텍과 퍼듀 연구진이 X에서 운영하는 "Attestation as a Service" 계정은, 요청을 보내면 "정품 인텔 하드웨어의 보호된 영역에서 코드가 실행됐다"는 서명된 인증서를 돌려줍니다. 이 인증서는 인텔의 공식 검증 라이브러리를 최고 신뢰 수준으로 통과하는데, 실제로는 해당 기능이 없는 하드웨어에서 만들어진 것입니다.

📌 이번 글에서 다루는 내용

• 47.62달러짜리 장치가 기밀 컴퓨팅의 신뢰 구조를 우회하는 방법 • NVIDIA GPU 어테스테이션이 "빌려온 보고서"로도 통과되는 이유 • 인텔과 AMD가 패치 대신 "범위 밖"이라고 답한 배경 • 운영자를 믿지 않아도 되는 대안, 영지식 증명(ZK proof) 📚한글 블로그 전문 보기

🕐 조종사 한 명은 드론 한 대를 날릴 수 있습니다 비유가 아닙니다: 연방 규정상 한 사람, 한 대의 항공기이며, 그 이상은 누군가가 직접 신청해서 받아야 하는 예외 승인(waiver) 사항입니다. 에피소드 7: 왜 그 한계가 산술적인 문제인지, 그리고 스웜이 스스로 날기 위해 무엇이 바뀌어야 하는지. 📱 원문 보기

🕐 KBW 기념 라그랑주 생태계 체험 이벤트 KBW 기간을 기념하여 오랜만에 돌아온 커뮤니티 이벤트‼️ 라그랑주의 스웜 조율 기술을 직접 체험해보세요 👀 Hold the Swarm 게임을 플레이하면서 "자율 스웜이 실제로 어떻게 작동하는지" 눈으로 확인하실 수 있는 기회입니다!

📌 참여 방법

1️⃣ Hold the Swarm 플레이하기 ! 2️⃣ 게임을 완료하고 자신의 성과를 X 에 게시, 자신의 성과표도 스크린샷 찍어놓기! 3️⃣ Receipts 페이지에서 "KBW Lagrange Halo와 함께" 문구가 포함된 인증 영수증(Receipt)을 생성해주세요(문구와 텔레그램 핸들 필수! ) 4️⃣ 체험 스크린샷과 Receipt를 함께 본인 SNS에 포스팅해주세요 5️⃣ 구글폼을 통해 게시물 링크와 정보를 제출해주세요

🎁 보상

참여자 중 15분을 선정해 BHC 뿌링클 콜라 세트를 드립니다 👀

🗓 일시

이벤트 기간: ~ 10월 11일까지 🔗 바로 체험하기: Hold the Swarm / Lagrange Receipts Printer ✍️ 참여 신청: 구글폼 바로가기

🕐 서명된 로그는 올바른 모델이 실행됐다고 말합니다 그런데 더 저렴한 모델을 몰래 돌려놓고 파일에는 비싼 모델 이름을 적어 넣은 시스템이 만든 서명된 로그도, 똑같이 그렇게 말해줍니다. 증명(proof)은 그럴 수 없습니다. 모델을 바꾸거나, 입력값을 바꾸거나, 출력값의 숫자 하나만 바꿔도 검증이 멈춰버립니다. 틀렸는데도 여전히 통과하는 버전은 존재하지 않습니다. 주장은 정직하면서도 틀릴 수 있습니다. 증명은 틀릴 수 없습니다. 📱 원문 보기

🕐 한국은 저희 스웜 게임을 두 번째로 많이 플레이하는 나라! 드론 50대, 무기 3종, 브라우저에서 약 1분. 대부분의 사람들은 남은 절반의 발사 기회를 쓰지 않고 남깁니다. 지금 플레이 해보세요: https://t.co/5mXenY38Er