뉴스
-
- 국제수학올림피아드에 도전한 AI 실력은 금메달리스트과학동아 l2024.03.23
- 생성할 수 있다. 앞서 남 교수가 말한 것처럼 기하문제 풀이에서 '보조선'과 같은 창의적인 보조 도구는 증명을 이끄는 핵심 키일 수 있다. 알파지오메트리는 심볼릭 추론엔진을 통해 증명을 수행하다가 문제가 해결되지 않을 땐 언어모델로 보조도구를 생성한다.이후 다시 심볼릭 추론 엔진을 ... ...
-
- [과기원NOW] GIST 학부생들, 캠퍼스의 청춘과 열정 담은 '지스트의 온도' 출간 外동아사이언스 l2024.03.19
- 지스트의 온도 책 표지. GIST 제공 ■ 광주과학기술원(GIST)은 GIST 학부생 6명이 캠퍼스 생활을 기록한 책 를 펴냈다고 19일 밝혔다. 저자들은 GIST에서 경험한 학교생활을 수필, 시, 만화 등 다양한 형식으로 진솔하게 그렸다. 책은 친구‧후배들과 경험을 나누기 위해 회고록 형태로 집필 ... ...
-
- "국내 첫 민간 SAR위성 성공했지만…역량 잇기 어려운 게 현실"동아사이언스 l2024.03.17
- 쌓을 수 있는 제도, 학생들이 실무를 경험할 수 있는 프로그램, 도전적이고 창의적인 연구개발(R&D) 사업을 적극 운영해야 합니다. 산업체의 상업적 가치 창출이 가능한 제도적 지원이 필수적입니다. 현장의 연구자들에게 필요한 지원책을 우주항공청이 부디 잘 취합해주길 바랍니다." 지난해 12월 ... ...
-
- 공학한림원 일진상 김용화·박진호, 해동상 이용훈·박건형동아사이언스 l2024.03.13
- 왼쪽부터 김용화 현대자동차 고문, 박진호 한국에너지공과대학교 연구부총장, 이용훈 울산과학기술원(UNIST) 총장과 박건형 조선일보 테크부장, 포스텍 김주훈씨. 한국공학한림원 제공 한국공학한림원은 제20회 한국공학한림원 일진상과 제19회 해동상 수상자, 제2회 원익상 수상자를 13일 발표했다. ... ...
뉴스 더보기