션의 AX 노트 :
AI를 배우고, 실험하고,
일에 연결한 기록
-
코딩 에이전트의 추론 강도, 비용 설정만으로 고르면 놓치는 것: SWE-2를 시험하는 법
Cognition이 2026년 9월 10일 공개한 SWE-2는 하나의 강화학습 과정에서 여러 추론 강도를 학습했다고 밝혔다. 모델의 상대 비용 절감 주장을 그대로 받아들이기보다, 작업 난이도별로 품질·턴 수·검토 비용을 함께 측정하는 작은 도입 실험이 필요하다.
-
AI가 만든 수학 증명, Lean 검증만으로 충분하지 않은 이유
OpenAI가 공개한 Navier-Stokes 방정식 관련 Lean 형식화는 AI가 낸 긴 추론을 검토 가능한 산출물로 바꾸는 한 방법을 보여 준다. 다만 형식 검증의 범위와 외부 전문가 검토의 역할을 분리해서 읽어야 한다.
-
개인 AI 에이전트에 권한을 줄 때, ‘뭘 해주나’보다 먼저 정할 것
Meta가 9월 8일 공개한 Muse는 이메일 발송과 예약, 구매까지 맡길 수 있는 개인 AI 에이전트다. 편리함을 평가하기 전에 계정 연결, 승인, 기억, 기록을 어떻게 분리할지 점검해야 한다.