복잡한 연구에서 필요한 계산을 빠르게 처리해 주는 프로그램”이라며 “증명과 추론의 과정은 AI에게 맡기는 경우가 없다”고 설명했다. 고차원적인 수학 연구에 사용하기엔 아직 너무 단순한 기하 증명 AI라는 평가다.이연수연구원역시“기하학문제를논증하는것은순 수한 연구 목적보다 교육적 ...
이 차이를 극복하기 위해 로봇공학은 통일된 학습 모델 개발과 임무 처리 과정을 추론하는 연구로새로운 돌파구를 찾고 있다. 아직 갈 길은 멀다. 김 책임연구원은 “로봇 작업 모델을 통합하려는 시도는 시작단계”라며 “상용화에 도달한 AI와 비슷한 수준으로 가기 위해선 더 높은 임무 수행률과 ...
of Large Language Models based on Actual User Data)’를 연구했다. 그동안 LLM의 성능평가는 주로 논리 추론에 기반한 정답 예측 점수를 봤다. 반면 KLAUD는 뤼튼 이용자의 실제 발화 및 피드백을 바탕으로 주요 LLM들의 특징을 분석했다. 특히 LLM이 내놓은 대답을 언어학 대화 분석 이론에 기반해 명확성, 일관성, ...
있다. 그래서 언어 지능의 완성형에 가까운 챗GPT가 등장하자마자, 사람들은 챗GPT가 법률 추론이라는 마지막 벽까지 넘을 수 있을지 큰 관심을 보였다. 그리고 마침내 확인할 기회가 왔다. 카츠 교수와 마이클 봄마리토 미국 미시간주립대 로스쿨 교수의 공동연구팀이 2022년 12월 챗GPT로 미국 ...
참여하고 공부한 경험을 바탕으로 합성 화학물질 사용이 염색체 손상을 가져올 가능성을 추론했다. 그녀는 합성 화학물질이 유전자에 미치는 영향에 대한 논문들을 체계적으로 읽고 정리해나가며, 본인이 도출한 과학적 결론을 클라우스 파타우 등 당대의 유전학자들에게 공유해 의견을 구하기도 ...
하늘을 찍지만, 예보관들은 바닥을 찍어요. 눈 결정체 모양에 따라 구름의 온도와 높이를 추론할 수 있거든요. 예상과 같은지 확인하고 다르면 그 원인을 분석해 다음에 더 정확한 예보를 하기 위해서죠 ...
2023년 11월 개발한 AI GPU칩‘마이아100’이 대표적이다. 김 연구원은 “생성 AI의 학습과 추론에 필요한 비용을 절감하는 것은 저렴한 서비스로 이어지고, 이는 다시 사용자의 증가, 빅테크 기업의 자본 증가, 더 좋은 AI 서비스로 이어질 것”이라고 설명했다. 트렌드3. 맞춤형 AI 국내 검색 시장 ...
것을 의식하는 게 중요하다고 강조했지요. 그럼 AGI는 어떨까요? 인공지능이 스스로 추론하고 생각할 수 있다면 언젠가 자기 자신에 대해 생각할 수 있는 의식이 생길 수도 있어요.이런 날이 온다면 의식이 있는 인공지능을 인간이 강제로 종료하는 행위도 범죄가 될 수 있지요. 그저 냉장고의 전원을 ...
음모는 오줌과 같은 환경에 노출되기 쉽기 때문에 큐티클층이 더 두꺼워졌을 것”이라고 추론했다. 신 교수는 ‘오줌과 같은 환경으로부터 털을 보호하기 위해 음모의 큐티클이 더 많아졌을 것’이라는 가설을 세우고 실제 검증 실험을 진행했다. 머리카락과 음모가 오줌과 유사한 환경에서 어느 ...
수 있지 않을까 하는 생각해요. 한편 증명은 주어진 공리 안에서 참이라는 논리적 추론을 쌓아 올리는 건데, 인공지능에게 이 공리계를 온전히 전달하는 게 생각보다 쉽지 않아요. 그래서 인공지능에게 공리를 정확히 알려주기 위해서 공리를 재정비하는 과정도 함께 논의하고 있어요. 그래서 저는 ...