본문으로 건너뛰기

AI / SIGNALS / KOREA

AI의 다음 장면을
가장 빠르게 읽는 법

최신 AI 모델·에이전트 소식을 한국어로 정리하고, 실제 선택에 필요한 맥락까지 함께 전합니다.

4,454개 기사 6시간마다 업데이트

최신 기사

에이전트 6월 12일

인간 스타일의 검색-보강 VLA agent를 이용한 폐쇄형 주행 시뮬레이션

closed-loop 주행 시뮬레이터는 일반적으로 규칙 기반의 교통 관리자나 단일 행동 모드에 학습된 모델로 생성된 비 이고 트래픽 에이전트를 환경에 채우고 있습니다. 최근 연구는 관찰 데이터에 대한 후속 라벨이나 대규모 언어 모델(LLM)로 추정한 보상 가중치를 통해 스타일 변이를 소개했습니다. 그러나 이러한 신호는 스타일이 보상해야 하는 프록시로 작용하는 반면, 사람에게 스타일에 따라 주

AI 모델 6월 12일

피타고라스 증명기: 증명 효율성을 개선하기 위한 증명기 증명 형식 확장

최신 레인(Lean) 정리 증명 도구는 대량의 학습 및 추론 계산을 통해 성능을 달성하지만, 부족한 검증된 증명 데이터와 형식적 증명 탐색의 긴 추론 경로로 인해 양상교정 학습(Supervised Fine-tuning, SFT)과 샘플링이 비싸다. 우리는 Pythagoras-Prover라는 계산 효율적인 오픈 소스 레인 정리 증명 도구 가족을 제시한다. 이 가족은 두 가지 생성 패러다임을 포

에이전트 6월 12일

인공지능 agent의 전략적 의사결정 지원

기존의 의사결정 지원 연구는 인간이 기계 학습 모델을 이용하여 더 나은 의사결정을 하기 위해 연구되었습니다. 그러나 현대의 주체적 시스템에서는 역할의 분리가 점점 더 뒤집어지게 됩니다: AI agent는 사용자의 behalf를 위해 행동하며, 인간과 도구들은 그 주변에서 지원 역할을 합니다. 이러한 역할의 뒤집음은 신뢰성의 문제를 앞세우게 되는데, 주체적 오류는 결과에 미치는 영향을 미칠 수

LLM PC 6월 12일

LLM에서 매개변수 도구 지식 감사에 대한 진단 Framework: ToolSense

대규모 언어 모델(LLM)을 대량 도구 카탈로그에 적용하여 도구 검색을 수행할 때, 중요한 도구 검색 병목 현상이 발생한다. 임베딩 기반 검색 접근 방식은 특화된 도구 의미를 충분히 포착하지 못하는 짧은 인코더를 사용하기 때문에, 파라메트릭 도구 검색은 이 문제를 해결하기 위해 LLM 사전에 도구를 가상 토큰으로 추가하여, 두 단계의 훈련(기억 단계 및 검색 단계(SFT))을 통해 LLM을

산업 6월 11일

아마존의 데이터 센터가 지난해 2.5억 갤런의 물을 사용했다.

세틀레이트에서 Amazon 직원들 중 일부가 주장한 1년간 데이터 센터 금지令이 시행된 직후, Amazon은 데이터 센터의 물 사용량을 처음으로 공개했습니다. 신제품인 AI 데이터 센터 건설 논쟁에서 물 사용량과 에너지 사용량에 대한 우려가 주요 관심사로 제기되고 있기 때문입니다. Amazon은 글로벌 데이터 센터 운영에 대한 정보를 발표했습니다.

산업 6월 11일

중국은 큰 원자력 발전기를 내기 위해 왜 기대 중인가

중국과 미국의 두 개의 원자력 산업 이야기입니다. 중국은 2016년 이후 원자력 발전소가 거의 두 배로 늘어났습니다. 이에 따라 총 발전 용량은 거의 60 기가와트에 달합니다. 새로운 시설은 거의 전부가 기가와트급 압력수경 반응기입니다. meanwhile 미국은 그 기간 동안 단지 두 개의 원자력 발전소를 건설했습니다.

산업 6월 11일

축구의 데이터 르네상스

세계컵 경기 시작의 킥오프를 보는 것 같다고 생각하시겠지만, 선수가 의도적으로 공을 모두 주장하는 팀의 밖으로 날려보내는 것을 보신다면, 일반적인 팬들은 머리를 긁힐 것입니다. 몇 초 만에 공을 내주려는 이 논리에는 무엇이 있는지 이해하기 어렵습니다. 만약 제시(Jesse)는 이 상황에서 게임을 하게 된다면, 그는 처음부터 게임을 끝내려는 것처럼 보일 것입니다. 그는 '공을 내주지 않으면,

산업 6월 11일

미래의 직업 이름: 자연의 약물 설계자

2018년, 약 20년간 대형 제약사에서 일한 화학자 팀 세르나크(Tim Cernak)는 새로운 목적으로 자신의 능력을 사용하고 싶어했다. 그는 메르크(Merck)에서 암, HIV, 당뇨병에 대한 정밀 치료를 개발했는데, 이는 병을 정확히 찾아내어 건강한 세포를 최소한으로 손상시키는 치료법이었다. 그러나 그는 평생 자연을 사랑하는 사람이었고, 점점 더 환경 문제에 대해 걱정했다.