<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Verification | Giseop Kim</title><link>https://gisbi-kim.github.io/tags/verification/</link><atom:link href="https://gisbi-kim.github.io/tags/verification/index.xml" rel="self" type="application/rss+xml"/><description>Verification</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Fri, 24 Jul 2026 00:00:00 +0000</lastBuildDate><image><url>https://gisbi-kim.github.io/media/icon_hu567daa2745bcf51c7054a3380349c3ad_4435_512x512_fill_catmullrom_center_3.png</url><title>Verification</title><link>https://gisbi-kim.github.io/tags/verification/</link></image><item><title>AI를 잘 쓰는 것보다, AI가 만든 결과를 검증하는 능력이 중요해진다</title><link>https://gisbi-kim.github.io/ai-verification-for-robotics/</link><pubDate>Fri, 24 Jul 2026 00:00:00 +0000</pubDate><guid>https://gisbi-kim.github.io/ai-verification-for-robotics/</guid><description>&lt;h2 id="1-이-질문을-하게-된-원-사례">1. 이 질문을 하게 된 원 사례&lt;/h2>
&lt;p>최근 약 5,300명이 참여한 AI 활용 경진대회의 결선 결과를 분석한 글이 공유됐다.&lt;br>
해당 글에서 제시한 결론은 다소 충격적이었다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>AI를 잘 활용하는 능력 자체는 상위권과 탈락자를 구분하는 핵심 요인이 아니었다.&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>오히려 상위권과 탈락자 사이의 점수 차이가 가장 작았던 항목이 &lt;code>AI 활용&lt;/code>이었다. 참가자 대부분이 이미 AI를 사용했기 때문에, AI 사용 여부는 더 이상 차별화 요소가 아니라 기본 조건이 됐다는 것이다.&lt;/p>
&lt;p>그러나 실제 제출물의 완성도는 높지 않았다.&lt;/p>
&lt;ul>
&lt;li>제출물 중 처음부터 끝까지 정상적으로 실행된 비율은 약 41.7%&lt;/li>
&lt;li>문서와 설명은 갖춰져 있지만 핵심 구현이 비어 있는 사례가 다수 존재&lt;/li>
&lt;li>인용한 출처 3개 중 1개는 실제 검증에 실패&lt;/li>
&lt;li>링크는 존재하지만 해당 링크가 주장을 뒷받침하지 않는 사례 존재&lt;/li>
&lt;li>심사평에서 자주 등장한 표현은 &lt;code>병목&lt;/code>, &lt;code>증거&lt;/code>, &lt;code>구체성&lt;/code>&lt;/li>
&lt;li>AI가 생성한 수치를 별도의 검증 없이 그대로 사용한 사례가 다수 존재&lt;/li>
&lt;/ul>
&lt;p>상위권 참가자들의 공통점은 AI를 더 화려하게 사용했다는 것이 아니었다.&lt;br>
대신 &lt;strong>AI가 잘하는 일과 코드가 담당해야 하는 일을 명확히 분리했다.&lt;/strong>&lt;/p>
&lt;h3 id="ai에-맡긴-일">AI에 맡긴 일&lt;/h3>
&lt;ul>
&lt;li>애매한 요구사항 해석&lt;/li>
&lt;li>문서 요약&lt;/li>
&lt;li>자연어 분류&lt;/li>
&lt;li>초안 생성&lt;/li>
&lt;li>예외 상황 후보 도출&lt;/li>
&lt;li>여러 가능성 탐색&lt;/li>
&lt;/ul>
&lt;h3 id="코드로-고정한-일">코드로 고정한 일&lt;/h3>
&lt;ul>
&lt;li>금액 계산&lt;/li>
&lt;li>조건 분기&lt;/li>
&lt;li>합격·불합격 판정&lt;/li>
&lt;li>정산&lt;/li>
&lt;li>중복 검사&lt;/li>
&lt;li>형식 검증&lt;/li>
&lt;li>수치 일관성 확인&lt;/li>
&lt;/ul>
&lt;p>이 경계를 명확히 하지 않으면 같은 입력에도 결과가 바뀌고, 데모는 가능하지만 제품이나 시스템으로는 신뢰하기 어려워진다.&lt;/p>
&lt;p>해당 글에서는 제출물을 평가하기 위해 다음 네 가지를 확인했다고 한다.&lt;/p>
&lt;ol>
&lt;li>새로운 환경에서 처음부터 다시 설치해도 실행되는가&lt;/li>
&lt;li>비정상적인 값을 입력했을 때 안전하게 실패하는가&lt;/li>
&lt;li>같은 입력을 반복했을 때 동일하거나 일관된 결과가 나오는가&lt;/li>
&lt;li>문서에 제시한 숫자와 주장에 실제 근거가 존재하는가&lt;/li>
&lt;/ol>
&lt;p>결국 우수한 결과물을 가른 것은 AI 사용량이 아니라 다음이었다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>재현성, 실패 처리, 일관성, 근거와 검증&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>이 사례를 로봇 연구에 대입하면 중요한 질문이 생긴다.&lt;/p>
&lt;blockquote>
&lt;p>AI가 보편화된 이후, 로봇공학자에게 진짜 중요한 역량은 무엇인가?&lt;/p>
&lt;/blockquote>
&lt;hr>
&lt;h2 id="2-핵심-결론">2. 핵심 결론&lt;/h2>
&lt;p>앞으로 로봇공학자에게 중요한 것은 &lt;strong>AI를 잘 사용하는 능력 자체가 아니라, AI가 포함된 로봇 시스템을 검증 가능하게 설계하는 능력&lt;/strong>이다.&lt;/p>
&lt;p>가치의 중심은 다음과 같이 이동할 가능성이 크다.&lt;/p>
&lt;blockquote>
&lt;p>알고리즘을 직접 구현하는 능력&lt;br>
→ 문제를 정확히 정의하는 능력&lt;br>
→ 시스템을 적절히 분해하는 능력&lt;br>
→ 실패를 통제하는 능력&lt;br>
→ 성능과 신뢰성을 증명하는 능력&lt;/p>
&lt;/blockquote>
&lt;p>AI 모델을 호출하고 프롬프트를 작성하는 것은 점점 기본 기술이 된다.&lt;br>
차별화는 AI를 시스템 어디에 배치하고, AI의 출력을 어디까지 신뢰하며, 잘못된 출력이 물리적 행동으로 전파되지 않도록 어떻게 통제하는가에서 발생한다.&lt;/p>
&lt;hr>
&lt;h2 id="3-ai를-사용했다는-더-이상-novelty가-아니다">3. “AI를 사용했다”는 더 이상 novelty가 아니다&lt;/h2>
&lt;p>앞으로 논문에서 다음과 같은 주장은 점차 약해질 가능성이 높다.&lt;/p>
&lt;ul>
&lt;li>LLM을 사용했다&lt;/li>
&lt;li>VLM으로 장면을 이해했다&lt;/li>
&lt;li>생성형 AI로 instruction을 만들었다&lt;/li>
&lt;li>foundation model을 로봇 시스템에 결합했다&lt;/li>
&lt;li>자연어 명령을 로봇 행동으로 변환했다&lt;/li>
&lt;/ul>
&lt;p>이러한 요소들은 새로운 연구 기여라기보다 구현을 위한 일반적인 선택지가 될 수 있다.&lt;/p>
&lt;p>그 결과 novelty의 중심은 다음과 같이 이동한다.&lt;/p>
&lt;table>
&lt;thead>
&lt;tr>
&lt;th>약해지는 주장&lt;/th>
&lt;th>강해지는 주장&lt;/th>
&lt;/tr>
&lt;/thead>
&lt;tbody>
&lt;tr>
&lt;td>VLM을 로봇에 적용했다&lt;/td>
&lt;td>기존 시스템이 실패하던 새로운 문제를 정의했다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>LLM이 명령을 생성한다&lt;/td>
&lt;td>생성 결과를 실행 가능하게 만드는 grounding·verification 구조가 있다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>평균 성능이 향상됐다&lt;/td>
&lt;td>어떤 조건에서 왜 향상되고 언제 실패하는지 설명할 수 있다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>실제 환경에서 시연했다&lt;/td>
&lt;td>반복 실험과 교란 실험을 통해 재현성을 증명했다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>AI가 end-to-end로 처리한다&lt;/td>
&lt;td>불확실성을 감지하고 안전한 fallback을 수행한다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>새로운 prompt를 설계했다&lt;/td>
&lt;td>prompt 변화에도 유지되는 시스템 수준의 robustness가 있다&lt;/td>
&lt;/tr>
&lt;tr>
&lt;td>더 큰 foundation model을 사용했다&lt;/td>
&lt;td>더 작은 모델에서도 유지되는 핵심 설계 원리가 있다&lt;/td>
&lt;/tr>
&lt;/tbody>
&lt;/table>
&lt;p>앞으로 중요한 것은 모델 자체보다 다음과 같은 요소다.&lt;/p>
&lt;ul>
&lt;li>문제 설정&lt;/li>
&lt;li>시스템 인터페이스&lt;/li>
&lt;li>물리적 grounding&lt;/li>
&lt;li>verification&lt;/li>
&lt;li>failure recovery&lt;/li>
&lt;li>reproducibility&lt;/li>
&lt;li>closed-loop evidence&lt;/li>
&lt;/ul>
&lt;hr>
&lt;h2 id="4-ai와-deterministic-module의-역할을-분리하는-능력">4. AI와 deterministic module의 역할을 분리하는 능력&lt;/h2>
&lt;p>AI 경진대회에서 상위권을 가른 핵심이 역할 분담이었다면, 로봇 시스템에서는 이 역할 분담이 더욱 중요하다.&lt;/p>
&lt;p>로봇은 AI의 출력이 단순한 문장이나 추천으로 끝나지 않는다.&lt;br>
잘못된 출력이 이동, 충돌, 조작 실패, 장비 손상 또는 안전 문제로 이어질 수 있다.&lt;/p>
&lt;h3 id="41-ai에-맡기기-적합한-것">4.1 AI에 맡기기 적합한 것&lt;/h3>
&lt;p>AI는 일반적으로 정답이 하나로 고정되지 않거나, 의미 해석과 가설 생성이 필요한 문제에 적합하다.&lt;/p>
&lt;ul>
&lt;li>자연어 명령의 의도 해석&lt;/li>
&lt;li>장면의 semantic interpretation&lt;/li>
&lt;li>물체, 장소, 행동 후보 생성&lt;/li>
&lt;li>애매한 상황에서 여러 hypothesis 생성&lt;/li>
&lt;li>과거 경험에서 관련 memory retrieval&lt;/li>
&lt;li>사람에게 물어볼 clarification question 생성&lt;/li>
&lt;li>장면 변화에 대한 설명 생성&lt;/li>
&lt;li>고수준 task decomposition&lt;/li>
&lt;li>새로운 상황에 대한 commonsense reasoning&lt;/li>
&lt;li>탐색할 후보 영역 또는 행동 후보 제안&lt;/li>
&lt;/ul>
&lt;h3 id="42-코드최적화제어기로-고정해야-하는-것">4.2 코드·최적화·제어기로 고정해야 하는 것&lt;/h3>
&lt;p>반면 다음 항목은 동일 조건에서 일관된 결과가 나와야 하며, 물리적 제약을 엄격히 만족해야 한다.&lt;/p>
&lt;ul>
&lt;li>좌표계 변환&lt;/li>
&lt;li>metric scale 계산&lt;/li>
&lt;li>geometric consistency 검사&lt;/li>
&lt;li>충돌 검사&lt;/li>
&lt;li>관절 한계와 동역학 제약&lt;/li>
&lt;li>trajectory feasibility&lt;/li>
&lt;li>graph constraint 구성&lt;/li>
&lt;li>최적화와 수치 계산&lt;/li>
&lt;li>시간, 배터리, 자원 계산&lt;/li>
&lt;li>속도 및 가속도 제한&lt;/li>
&lt;li>안전 조건&lt;/li>
&lt;li>emergency stop&lt;/li>
&lt;li>중복 검사&lt;/li>
&lt;li>형식 검증&lt;/li>
&lt;li>성공·실패 판정 기준&lt;/li>
&lt;/ul>
&lt;p>가장 유망한 시스템 구조는 다음과 같다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>AI Proposal → Geometric and Physical Verification → Planning → Execution → Runtime Monitoring&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>여기서 가장 중요한 원칙은 다음이다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>AI의 출력은 명령이 아니라 proposal로 취급해야 한다.&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>예를 들어 VLM이 “왼쪽 복도로 이동하라”고 판단했더라도 이를 즉시 실행해서는 안 된다. 시스템은 최소한 다음을 확인해야 한다.&lt;/p>
&lt;ol>
&lt;li>왼쪽 복도가 실제 지도나 현재 관측에 존재하는가&lt;/li>
&lt;li>현재 localization uncertainty에서 해당 복도를 구별할 수 있는가&lt;/li>
&lt;li>로봇이 실제로 통과 가능한가&lt;/li>
&lt;li>다른 명령 조건과 모순되지 않는가&lt;/li>
&lt;li>해당 행동의 위험도가 허용 범위 안에 있는가&lt;/li>
&lt;li>실패할 경우 어디에서 중단하거나 복구할 것인가&lt;/li>
&lt;/ol>
&lt;p>즉 앞으로 강한 로봇 시스템은 &lt;code>AI-driven system&lt;/code>이라기보다 다음에 가까워진다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>AI-proposed, verification-constrained robotic system&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;hr>
&lt;h2 id="5-앞으로-가장-귀해질-능력은-평가-프로토콜-설계다">5. 앞으로 가장 귀해질 능력은 평가 프로토콜 설계다&lt;/h2>
&lt;p>AI 시대에는 구현물과 데모를 만드는 비용이 크게 낮아진다.&lt;br>
그럴듯한 결과도 쉽게 생성할 수 있다.&lt;/p>
&lt;p>따라서 오히려 다음을 판단할 수 있는 사람의 가치가 커진다.&lt;/p>
&lt;ul>
&lt;li>무엇을 측정해야 실제 성능인가&lt;/li>
&lt;li>어떤 baseline과 비교해야 하는가&lt;/li>
&lt;li>어떤 실패 사례를 포함해야 하는가&lt;/li>
&lt;li>어떤 조건에서 성능이 무너지는가&lt;/li>
&lt;li>개선이 실제 알고리즘 때문인지 평가 설정 때문인지&lt;/li>
&lt;li>offline metric이 실제 로봇 성능을 대변하는가&lt;/li>
&lt;/ul>
&lt;p>좋은 연구자는 단순히 높은 숫자를 만드는 사람이 아니라, &lt;strong>그 숫자가 무엇을 의미하는지 증명할 수 있는 사람&lt;/strong>이 된다.&lt;/p>
&lt;h3 id="51-slam-연구에서-중요해지는-평가">5.1 SLAM 연구에서 중요해지는 평가&lt;/h3>
&lt;p>SLAM에서는 평균 ATE 하나만으로 시스템의 신뢰성을 설명하기 어렵다.&lt;/p>
&lt;p>앞으로 중요해질 평가 요소는 다음과 같다.&lt;/p>
&lt;ul>
&lt;li>평균 ATE&lt;/li>
&lt;li>median 및 worst-case error&lt;/li>
&lt;li>catastrophic failure rate&lt;/li>
&lt;li>trajectory completion rate&lt;/li>
&lt;li>scale consistency&lt;/li>
&lt;li>orientation drift&lt;/li>
&lt;li>loop closure false-positive rate&lt;/li>
&lt;li>잘못된 loop closure 발생 시 시스템 붕괴 여부&lt;/li>
&lt;li>장시간 운용에서의 drift&lt;/li>
&lt;li>multi-session map consistency&lt;/li>
&lt;li>sensor degradation에 대한 민감도&lt;/li>
&lt;li>localization uncertainty calibration&lt;/li>
&lt;li>다른 로봇이 생성된 map을 재사용할 수 있는가&lt;/li>
&lt;li>map이 실제 navigation에 충분한가&lt;/li>
&lt;/ul>
&lt;p>핵심 질문은 다음과 같다.&lt;/p>
&lt;blockquote>
&lt;p>궤적 오차가 작은가?&lt;/p>
&lt;/blockquote>
&lt;p>보다&lt;/p>
&lt;blockquote>
&lt;p>어떤 환경과 조건까지 안정적으로 작동하고, 어떤 조건부터 실패하는가?&lt;/p>
&lt;/blockquote>
&lt;p>가 더 중요해진다.&lt;/p>
&lt;h3 id="52-vln-연구에서-중요해지는-평가">5.2 VLN 연구에서 중요해지는 평가&lt;/h3>
&lt;p>VLN에서도 instruction quality나 language metric만으로는 충분하지 않다.&lt;/p>
&lt;ul>
&lt;li>실제 closed-loop success rate&lt;/li>
&lt;li>SPL&lt;/li>
&lt;li>instruction following accuracy&lt;/li>
&lt;li>landmark ambiguity에 대한 robustness&lt;/li>
&lt;li>localization error가 존재할 때의 성능&lt;/li>
&lt;li>instruction generation error와 policy execution error의 분리&lt;/li>
&lt;li>잘못된 instruction을 탐지하고 거부하는 능력&lt;/li>
&lt;li>clarification 요청의 precision과 recall&lt;/li>
&lt;li>unnecessary clarification 비율&lt;/li>
&lt;li>recovery success rate&lt;/li>
&lt;li>unseen environment generalization&lt;/li>
&lt;li>사람의 명령과 지도 정보가 충돌할 때의 처리&lt;/li>
&lt;li>instruction의 불확실성과 navigation uncertainty의 calibration&lt;/li>
&lt;/ul>
&lt;p>특히 &lt;code>좋은 instruction을 생성했다&lt;/code>와 &lt;code>로봇이 실제로 목적지에 도달했다&lt;/code>는 서로 다른 주장이다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Instruction Quality ≠ Navigation Success&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>따라서 instruction generation 연구도 실제 execution까지 닫힌 평가가 필요하다.&lt;/p>
&lt;h3 id="53-multi-robot-연구에서-중요해지는-평가">5.3 Multi-robot 연구에서 중요해지는 평가&lt;/h3>
&lt;p>Multi-robot 시스템에서는 평균 성능보다 오류 전파와 시스템 수준의 안정성이 중요하다.&lt;/p>
&lt;ul>
&lt;li>통신 단절&lt;/li>
&lt;li>지연 및 packet loss&lt;/li>
&lt;li>partial observation&lt;/li>
&lt;li>잘못된 inter-robot correspondence&lt;/li>
&lt;li>heterogeneous sensor configuration&lt;/li>
&lt;li>로봇별 서로 다른 scale drift&lt;/li>
&lt;li>map inconsistency&lt;/li>
&lt;li>robot footprint 차이&lt;/li>
&lt;li>로봇 수 증가에 따른 scalability&lt;/li>
&lt;li>한 로봇의 오류가 전체 fleet에 전파되는지&lt;/li>
&lt;li>centralized module failure 시 동작&lt;/li>
&lt;li>map merge 실패 탐지&lt;/li>
&lt;li>잘못된 map 정보를 거부하거나 격리할 수 있는지&lt;/li>
&lt;/ul>
&lt;p>앞으로 리뷰어가 보고 싶어 하는 것은 단순한 성공 결과가 아니다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>어떤 조건까지 작동하고, 어떤 조건부터 무너지며, 그 경계를 어떻게 측정했는가&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>가 핵심이 된다.&lt;/p>
&lt;hr>
&lt;h2 id="6-재현성의-의미가-더-엄격해진다">6. 재현성의 의미가 더 엄격해진다&lt;/h2>
&lt;p>AI 경진대회에서는 같은 입력을 세 번 넣었을 때 같은 결과가 나오는지를 확인했다.&lt;/p>
&lt;p>그러나 로봇 시스템은 다음과 같은 요소 때문에 완전히 동일한 결과가 나오기 어렵다.&lt;/p>
&lt;ul>
&lt;li>sensor noise&lt;/li>
&lt;li>actuator variation&lt;/li>
&lt;li>환경 변화&lt;/li>
&lt;li>GPU nondeterminism&lt;/li>
&lt;li>asynchronous processing&lt;/li>
&lt;li>네트워크 지연&lt;/li>
&lt;li>localization 초기값&lt;/li>
&lt;li>사람과 동적 객체의 움직임&lt;/li>
&lt;/ul>
&lt;p>따라서 로봇 연구에서는 단순한 결정론적 재현성보다 &lt;strong>통계적 재현성&lt;/strong>을 증명해야 한다.&lt;/p>
&lt;h3 id="61-기본적으로-기록해야-하는-것">6.1 기본적으로 기록해야 하는 것&lt;/h3>
&lt;ul>
&lt;li>사용한 model과 API version&lt;/li>
&lt;li>model snapshot&lt;/li>
&lt;li>prompt와 system instruction&lt;/li>
&lt;li>temperature와 decoding 설정&lt;/li>
&lt;li>random seed&lt;/li>
&lt;li>dependency version&lt;/li>
&lt;li>container 또는 environment specification&lt;/li>
&lt;li>sensor calibration&lt;/li>
&lt;li>camera intrinsic 및 extrinsic&lt;/li>
&lt;li>timestamp와 synchronization 방법&lt;/li>
&lt;li>raw sensor log&lt;/li>
&lt;li>초기 pose&lt;/li>
&lt;li>reset condition&lt;/li>
&lt;li>map initialization 방식&lt;/li>
&lt;li>human intervention 횟수&lt;/li>
&lt;li>실패 trial을 포함한 전체 trial 수&lt;/li>
&lt;li>평균뿐 아니라 분산과 confidence interval&lt;/li>
&lt;li>retry policy&lt;/li>
&lt;li>timeout&lt;/li>
&lt;li>fallback 발생 횟수&lt;/li>
&lt;/ul>
&lt;p>특히 외부 foundation model API를 사용하는 경우 재현성은 다음 요소들의 결합으로 봐야 한다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Reproducibility = Input Provenance + Model Provenance + Prompt Provenance + Execution Provenance&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>논문에 모델 이름만 적는 것으로는 부족하다.&lt;/p>
&lt;ul>
&lt;li>어떤 버전의 모델인지&lt;/li>
&lt;li>언제 호출했는지&lt;/li>
&lt;li>temperature는 얼마인지&lt;/li>
&lt;li>image preprocessing은 어떻게 했는지&lt;/li>
&lt;li>실패 시 몇 번 재시도했는지&lt;/li>
&lt;li>응답을 어떻게 parsing했는지&lt;/li>
&lt;li>출력이 invalid할 때 어떻게 처리했는지&lt;/li>
&lt;/ul>
&lt;p>까지 남겨야 한다.&lt;/p>
&lt;hr>
&lt;h2 id="7-성공-데모보다-실패를-잘-설계한-연구가-강해진다">7. 성공 데모보다 실패를 잘 설계한 연구가 강해진다&lt;/h2>
&lt;p>로봇 연구에서는 성공 사례를 보여주는 것보다, 실패를 어떻게 감지하고 통제하는지가 점점 중요해진다.&lt;/p>
&lt;p>AI가 이상한 값을 생성했을 때 시스템은 최소한 다음 중 하나를 수행할 수 있어야 한다.&lt;/p>
&lt;ul>
&lt;li>실행 거부&lt;/li>
&lt;li>이전 safe state 유지&lt;/li>
&lt;li>classical planner로 fallback&lt;/li>
&lt;li>conservative mode로 전환&lt;/li>
&lt;li>속도 제한&lt;/li>
&lt;li>human clarification 요청&lt;/li>
&lt;li>재관측 수행&lt;/li>
&lt;li>active perception 수행&lt;/li>
&lt;li>추가 센서 정보 요청&lt;/li>
&lt;li>uncertainty가 낮아질 때까지 행동 보류&lt;/li>
&lt;li>현재 task 중단&lt;/li>
&lt;li>안전 위치로 복귀&lt;/li>
&lt;li>해당 memory 또는 observation을 격리&lt;/li>
&lt;li>다른 agent의 검증 결과 요청&lt;/li>
&lt;/ul>
&lt;p>이때 중요한 것은 단순히 fallback이 존재하는가가 아니다.&lt;/p>
&lt;ul>
&lt;li>언제 fallback이 작동하는가&lt;/li>
&lt;li>fallback 조건이 명확한가&lt;/li>
&lt;li>false alarm은 얼마나 발생하는가&lt;/li>
&lt;li>위험한 출력을 얼마나 잘 탐지하는가&lt;/li>
&lt;li>fallback 이후 task를 복구할 수 있는가&lt;/li>
&lt;li>잘못된 정보가 내부 memory나 map에 남지 않는가&lt;/li>
&lt;/ul>
&lt;p>까지 평가해야 한다.&lt;/p>
&lt;p>따라서 앞으로 강한 contribution은 단순한 reasoning module보다 다음과 같은 형태가 될 수 있다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>A verification-aware architecture that detects unsupported model outputs and prevents their propagation into physical execution.&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>또는&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>A failure-aware robotic system that identifies unreliable AI predictions and safely recovers through geometric verification and active re-observation.&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>이러한 문제는 학술적 가치뿐 아니라 실제 제품화와 산업 적용에서도 중요하다.&lt;/p>
&lt;hr>
&lt;h2 id="8-로봇공학자의-전문성은-사라지는-것이-아니라-상위-단계로-이동한다">8. 로봇공학자의 전문성은 사라지는 것이 아니라 상위 단계로 이동한다&lt;/h2>
&lt;p>AI가 코드를 작성하고 알고리즘 구현을 지원하더라도 로봇공학자의 전문성은 사라지지 않는다.&lt;/p>
&lt;p>대신 전문성의 위치가 바뀐다.&lt;/p>
&lt;h3 id="81-문제-정의">8.1 문제 정의&lt;/h3>
&lt;ul>
&lt;li>어떤 문제가 실제로 어려운가&lt;/li>
&lt;li>기존 방법의 실패가 어디서 발생하는가&lt;/li>
&lt;li>해당 문제가 산업적·학술적으로 중요한가&lt;/li>
&lt;li>단순히 모델을 적용한 문제가 아닌가&lt;/li>
&lt;li>평가 가능한 형태로 문제를 정의할 수 있는가&lt;/li>
&lt;/ul>
&lt;h3 id="82-시스템-아키텍처">8.2 시스템 아키텍처&lt;/h3>
&lt;ul>
&lt;li>어떤 부분을 학습시킬 것인가&lt;/li>
&lt;li>어떤 부분은 deterministic하게 유지할 것인가&lt;/li>
&lt;li>각 모듈의 입출력 계약은 무엇인가&lt;/li>
&lt;li>uncertainty가 모듈 사이에서 어떻게 전달되는가&lt;/li>
&lt;li>오류가 전체 시스템으로 전파되지 않도록 어떻게 격리할 것인가&lt;/li>
&lt;/ul>
&lt;h3 id="83-물리적-제약에-대한-이해">8.3 물리적 제약에 대한 이해&lt;/h3>
&lt;ul>
&lt;li>센서의 관측 가능성&lt;/li>
&lt;li>calibration&lt;/li>
&lt;li>latency&lt;/li>
&lt;li>dynamics&lt;/li>
&lt;li>kinematics&lt;/li>
&lt;li>collision&lt;/li>
&lt;li>actuator limitation&lt;/li>
&lt;li>environment interaction&lt;/li>
&lt;li>uncertainty&lt;/li>
&lt;li>observability&lt;/li>
&lt;li>partial observability&lt;/li>
&lt;/ul>
&lt;p>이러한 요소는 언어 모델만으로 해결하기 어렵다.&lt;/p>
&lt;h3 id="84-검증-설계">8.4 검증 설계&lt;/h3>
&lt;ul>
&lt;li>어떤 반례를 만들어야 하는가&lt;/li>
&lt;li>어떤 edge case가 시스템을 무너뜨리는가&lt;/li>
&lt;li>어떤 결과가 우연인지&lt;/li>
&lt;li>어떤 결과가 실제 설계 효과인지&lt;/li>
&lt;li>시스템의 작동 경계를 어떻게 측정할 것인가&lt;/li>
&lt;/ul>
&lt;h3 id="85-인과적-분석">8.5 인과적 분석&lt;/h3>
&lt;p>성능 향상의 원인이 무엇인지 분리할 수 있어야 한다.&lt;/p>
&lt;ul>
&lt;li>모델 크기 때문인가&lt;/li>
&lt;li>데이터 증가 때문인가&lt;/li>
&lt;li>prompt engineering 때문인가&lt;/li>
&lt;li>평가 데이터 leakage 때문인가&lt;/li>
&lt;li>preprocessing 때문인가&lt;/li>
&lt;li>더 좋은 localization 때문인가&lt;/li>
&lt;li>더 많은 human intervention 때문인가&lt;/li>
&lt;li>유리한 환경 선택 때문인가&lt;/li>
&lt;/ul>
&lt;h3 id="86-증거-생성">8.6 증거 생성&lt;/h3>
&lt;p>연구 결과를 주장하는 것과 증명하는 것은 다르다.&lt;/p>
&lt;p>필요한 증거는 다음과 같다.&lt;/p>
&lt;ul>
&lt;li>log&lt;/li>
&lt;li>raw data&lt;/li>
&lt;li>repeated trials&lt;/li>
&lt;li>ablation&lt;/li>
&lt;li>perturbation test&lt;/li>
&lt;li>counterexample&lt;/li>
&lt;li>failure case&lt;/li>
&lt;li>statistical analysis&lt;/li>
&lt;li>reproducible code&lt;/li>
&lt;li>dataset&lt;/li>
&lt;li>system configuration&lt;/li>
&lt;li>independent verification&lt;/li>
&lt;/ul>
&lt;p>결국 앞으로 학생에게도 단순히 “코드를 많이 짜라”라고 지도하는 것만으로는 부족하다.&lt;/p>
&lt;p>더 중요한 훈련은 다음이다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>명세를 작성하고, 실패 조건을 정의하고, 검증기를 만들고, 증거를 남기는 훈련&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;hr>
&lt;h2 id="9-앞으로-논문에서-실제로-점수를-가를-요소">9. 앞으로 논문에서 실제로 점수를 가를 요소&lt;/h2>
&lt;p>AI가 보편화되면 구현 자체의 희소성은 낮아진다.&lt;br>
논문을 가르는 요소는 다음과 같은 순서로 이동할 가능성이 높다.&lt;/p>
&lt;h3 id="91-problem-significance">9.1 Problem Significance&lt;/h3>
&lt;ul>
&lt;li>실제로 중요한 문제인가&lt;/li>
&lt;li>기존 연구가 해결하지 못한 문제인가&lt;/li>
&lt;li>AI 모델을 붙이기 위해 인위적으로 만든 문제는 아닌가&lt;/li>
&lt;/ul>
&lt;h3 id="92-system-decomposition">9.2 System Decomposition&lt;/h3>
&lt;ul>
&lt;li>AI와 geometry, planning, control, safety의 역할 분담이 타당한가&lt;/li>
&lt;li>각 모듈의 책임과 실패 범위가 명확한가&lt;/li>
&lt;/ul>
&lt;h3 id="93-closed-loop-evidence">9.3 Closed-loop Evidence&lt;/h3>
&lt;ul>
&lt;li>offline metric만 개선된 것이 아닌가&lt;/li>
&lt;li>실제 로봇의 perception–planning–action loop에서 효과가 있는가&lt;/li>
&lt;li>행동 결과까지 검증했는가&lt;/li>
&lt;/ul>
&lt;h3 id="94-failure-characterization">9.4 Failure Characterization&lt;/h3>
&lt;ul>
&lt;li>실패 사례를 숨기지 않았는가&lt;/li>
&lt;li>실패 원인을 분류했는가&lt;/li>
&lt;li>시스템의 작동 경계를 분석했는가&lt;/li>
&lt;/ul>
&lt;h3 id="95-reproducibility">9.5 Reproducibility&lt;/h3>
&lt;ul>
&lt;li>다른 연구자가 다시 실행할 수 있는가&lt;/li>
&lt;li>동일 조건에서 통계적으로 유사한 결과가 나오는가&lt;/li>
&lt;/ul>
&lt;h3 id="96-deployment-robustness">9.6 Deployment Robustness&lt;/h3>
&lt;ul>
&lt;li>모델 업데이트에 민감하지 않은가&lt;/li>
&lt;li>API 오류를 처리할 수 있는가&lt;/li>
&lt;li>센서 이상과 통신 단절을 처리하는가&lt;/li>
&lt;li>장시간 운용에서도 안정적인가&lt;/li>
&lt;/ul>
&lt;h3 id="97-scientific-attribution">9.7 Scientific Attribution&lt;/h3>
&lt;ul>
&lt;li>어떤 구성 요소가 성능 향상을 만들었는가&lt;/li>
&lt;li>적절한 ablation이 존재하는가&lt;/li>
&lt;li>단순한 모델 크기 증가와 설계 기여를 분리했는가&lt;/li>
&lt;/ul>
&lt;hr>
&lt;h2 id="10-앞으로-강한-로봇-연구의-기본-구조">10. 앞으로 강한 로봇 연구의 기본 구조&lt;/h2>
&lt;p>앞으로 경쟁력 있는 연구는 다음 네 요소를 갖출 가능성이 높다.&lt;/p>
&lt;h3 id="101-proposal">10.1 Proposal&lt;/h3>
&lt;p>AI가 semantic interpretation, hypothesis 또는 candidate action을 생성한다.&lt;/p>
&lt;h3 id="102-verification">10.2 Verification&lt;/h3>
&lt;p>geometry, physics, map, memory, sensor evidence를 이용해 제안의 타당성을 검사한다.&lt;/p>
&lt;h3 id="103-execution">10.3 Execution&lt;/h3>
&lt;p>검증된 결과만 planning과 control에 전달한다.&lt;/p>
&lt;h3 id="104-evidence">10.4 Evidence&lt;/h3>
&lt;p>전체 과정의 입력, 판단, 실패, fallback, 실행 결과를 기록하고 재현 가능하게 만든다.&lt;/p>
&lt;p>이를 하나의 구조로 정리하면 다음과 같다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Generative Intelligence + Deterministic Verification + Physical Execution + Reproducible Evidence&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;hr>
&lt;h2 id="11-결론">11. 결론&lt;/h2>
&lt;p>앞으로 강한 로봇공학자는 AI보다 코드를 더 잘 짜는 사람도 아니고, AI를 가장 많이 사용하는 사람도 아니다.&lt;/p>
&lt;p>진짜 중요한 사람은 다음을 할 수 있는 사람이다.&lt;/p>
&lt;ul>
&lt;li>AI가 맡아야 할 문제와 맡기면 안 되는 문제를 구분한다&lt;/li>
&lt;li>AI 출력을 검증 가능한 proposal로 다룬다&lt;/li>
&lt;li>물리적·기하학적 제약으로 실행 가능성을 확인한다&lt;/li>
&lt;li>실패 조건과 fallback을 사전에 설계한다&lt;/li>
&lt;li>반복 실험과 교란 실험으로 신뢰성을 증명한다&lt;/li>
&lt;li>결과의 원인을 분석하고 재현 가능한 증거를 남긴다&lt;/li>
&lt;li>시스템이 언제 믿을 만하고 언제 믿으면 안 되는지를 정량화한다&lt;/li>
&lt;/ul>
&lt;p>결국 미래의 로봇공학자에게 가장 중요한 역량은 다음 문장으로 정리할 수 있다.&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>AI가 물리 세계에서 언제 믿을 만한지를 정의하고, 그 신뢰성을 시스템과 실험으로 증명하는 능력&lt;/strong>&lt;/p>
&lt;/blockquote></description></item></channel></rss>