수고하셨습니다! 참가해주신분들 모두 감사드립니다‼️

해당 우승자 분들은 @extendrrr 로 22일(일요일 자정)까지 DM으로 '라그랑주 데이 당첨자입니다' 전송 부탁드립니다.

@kikiki897 찐
@cumoishere
@리도스
@giribi7722
@뿌뿌웅뿌웅
@karf5115
@space_XYZ7
@ohioppp
@campus15
@jihi9535
@wego5m
@oldgarden1122
@ronidot
@QVA
@imk1993
@ZeroTo100a
@daese9
@ban04090
@giks0023
@ensub8
@ohnarang
@oook9k
@Nick12479
@sukinami100
@cryptohype11436
@Defi_clid
@adot8884
@imhk60
@jna52559
@khc8017
@tt799
@envision82
@yh20210333
@papido33
@sora2199
@jihoon99az
@pc970930
@lmslms1004
@adele6244
@gsa97694
@Nann3786
@didhkd
@aldald0120
@accumulate00
@dustatoz
@xogur1685
@qwertyuiop1151
@lelepepe_0
@chomi22
@whoruhero
@cleanpopup
@trulypunch
@jagi92286
@Yang0sheep
@omoiharane2
@moongzziz
@Kyb73
@Al1ceCrypto
@Hellchang2
@lanxor835
@cetizen79
@Meentmat

시간 엄수 부탁드려요!!

🕐 기계를 신뢰한다는 것: 자율 임무는 어떻게 감사(audit)할 수 있는가?

에이전트가
· 동적으로 재구성되고
· 통신이 끊긴 상태에서도 작동하며
· 현장에서 스스로 판단하고
· 인간의 개입 속도를 훨씬 넘는 속도로 행동할 때

어떤 추론 로그(inference log) 가 남는가?
· 누가 그 의사결정의 연쇄를 재구성하는지
· 책임은 어디에 귀속되는지

증명은 더 이상 부가 기능이 아니라, 인프라입니다.

📱 원문 보기

🕐 자율성이 높아질수록 직접적인 통제는 줄어듭니다

통제가 강화될수록 시스템의 회복력은 낮아집니다.

이 둘을 동시에 극대화할 수는 없습니다.

AI 시스템이 국방, 금융, 인프라 영역으로 들어오면서 이 트레이드오프는 더 이상 이론의 문제가 아닌 아키텍처의 문제.

통제의 중심은 제어(control) 에서 검증(verification) 으로 이동합니다.

📱 원문 보기

🕐 라그랑주 연구 발표, 어려운 수학을 증명가능하게: 비다항 함수에 대한 효율적인 증명 기법 소개

대부분의 zk 시스템은 계산이 다항식적이지 않게 되면 비효율적이 됩니다.

실제 시스템은 순수한 다항식 시스템이 아닙니다. 다음과 같은 요소에 의존합니다.
(사인 함수, 익스프 함수, 시그모이드 함수 또는 erf 함수)

오늘은 zk-SNARK에서 비다항식 함수의 증명을 효율적으로 만드는 연구 결과를 소개합니다.

결과:
• 최대 256배 낮은 오차
• 최대 20배 향상된 검증 성능

실세계에서 검증 가능한 인공지능을 원한다면, 실제 시스템이 사용하는 수학적 원리를 증명할 수 있어야 합니다.

어려운 수학 문제가 이제 증명 가능해졌습니다.

블로그를 통해 번역된 연구 내용과 Full report를 읽어보세요

📚 블로그 바로가기 | 📱 원문 보기

🕐 정성어린 피드백을 주신 모든 분께 감사드립니다.

라그랑주 커뮤니티 설문 이벤트 당첨자를 아래와 같이 발표합니다. 축하드립니다‼️

당첨자분들은 @extendrrr 로 일요일(3/1) 자정까지 "라그랑주 설문 이벤트 당첨되었습니다" DM 부탁드립니다.

@heeya777
@Onlyalphaa
@dbsks0315
@zun73
@parkinhwan
@kangdy70
@yubobae
@popou78
@realbye
@ringdinggood
@dmsgh82
@sameis12
@maplejoa
@jolyyb
@kdh9526
@aa004_1
@adele6244
@vibejin
@bonge1228
@jaylee0712