뉴스
-
엔지니어 1명이 AI 군단 지휘…KAIST 테라랩, 반도체 설계에 ‘AI 에이전트’ 접목
고대역폭메모리(HBM) 같은 차세대 반도체는 신호·전력·열 문제를 한꺼번에 따져야 할 만큼 설계가 복잡한데, 이같은 반도체 설계에 AI ‘에이전트’를 도입하려는 것이다. 5일 김정호 KAIST 반도체 설계에 필요한 여러 전문 기능을 AI 모델 하나에 맡기지 않고, 업무별로 특화된 에이전트와 설계 소프트웨어를 연결해 복잡한 문제
- KAIST·롯데, R&D 센터 준공...학교 연구역량과 대기업 산업·사업화 역량 '연결' 한국과학기술원(KAIST·총장 배충식)과 롯데그룹이 기후변화 및 탄소중립 등 '지속가능성 문제' 해결에 손을 맞잡았다. KAIST는 11일 대전 본원에서 신동빈 롯데그룹 회장을 비롯한 롯데그룹 관계자와 KAIST 주요 보직자, 생명화학공학과 교수 및 관계자 등이 참석한 가운데 'LOTTE x KAIST
- AI도 헷갈리는 그림문제 풀기, KAIST ‘이종 협업’으로 1위 KAIST 연구팀이 이 한계를 넘어서 국제대회 정상에 섰다. KAIST는 문일철 AX학과 교수 연구팀이 국제머신러닝학회(ICML) 2026 워크숍의 ‘시각적으로 정의된 물리 문제 풀기’ 챌린지에서 우승했다고 23일 밝혔다.
- AI ‘그림 문제’에 약한데…KAIST ‘이종 AI 협업’으로 풀었다 카이스트(KAIST) 연구팀이 이 한계를 넘어서 국제대회 정상에 섰다.KAIST는 문일철 AX학과 교수 연구팀이 국제머신러닝학회(ICML) 2026 워크숍의 ‘시각적으로 정의된 물리 문제 풀기’ 챌린지에서 우승했다고 23일 밝혔다.
- SKT 'A.X-K1', 수학 추론서 글로벌 동급 모델 앞섰다 SK텔레콤 대규모언어모델(LLM) 'A.X-K1'이 한국수학올림피아드(KMO) 문제 기반 평가에서 국내 독자 모델 가운데 가장 높은 성적을 기록했다. KAIST 전산학부 박노성 교수 연구팀은 최근 치러진 2026년 제40회 한국수학올림피아드 1차 시험 20문항으로 국내외 최신 LLM 11종의 수학 추론 능력을 평가한 결과 이같이
- KAIST, 택배 배송 최적화 AI 모델 개발…실현 가능성부터 따져 결국 전문솔버(Gurobi나 SCIP 등)가 마지막으로 오류를 수정해야 했다.연구팀은 이 문제 해결을 위해 개발한 AI모델이 'RL-SPH'다. 현재 KAIST 학술정보처장과 교원창업기업 그래파이 CEO를 맡고 있다.
- 네이버 뉴스 댓글 '트롤행동' 분석 기술 개발 판단 근거를 제시하는 '설명 가능한 AI기술'이 개발됐다.트롤(troll)행동은 반시대적 또는 선동적인 행동이나 불쾌한 내용을 인터넷에 올리는 행위를 의미한다.기술 개발은 이원재 KAIST 검토해야 할 메시지를 가려내는 기준이 될 것"이라며 "갈수록 교묘해지는 온라인 영향력 활동을 탐지하는 데 활용될 것으로 기대한다”고 말했다.차미영 교수는 “데이터 과학을 실제 사회 문제
- [현장] "KAIST AI해커 7위...수시로 순위 변경" 한국과학기술원(KAIST)가 개발한 'AI 해커'다. KAIST AI 해커는 7위로 11계단 순위가 급상승했다.
- 전 세계 50여 명 연구자들의 카이스트 보이콧, 약속은 지켜졌나 카이스트의 약속 2018년 4월 4일, 내로라할 AI·로보틱스 분야의 과학자와 엔지니어 50여 명이 한국과학기술원(카이스트 KAIST, 아래 카이스트)을 보이콧했다. 이들이 문제 삼은 건 카이스트가 한화시스템과 공동 설립한 ' 카이스트 국방 지능형 군집체계 연구센터'다.
- [기자수첩] KAIST AI 해커가 남긴 숙제 특히 윤인수 KAIST 전기 및 전자공학부 교수가 만든 AI해커가 사람 해커와 대결, 관심이 더 뜨거웠다.사람 개입 없이 스스로 시스템 취약점을 탐색하고 문제를 해결한 AI 해커는 문제 풀이량만 보면 AI 해커도 인간 화이트해커와 견줄 수 있는 수준이었다.
1 페이지
다음 →