디시인사이드 갤러리

마이너 갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

[일반] 이번 딥마 연구는 진짜 큰게 맞다

ㅇㅇ(123.100) 2024.01.18 02:39:51
조회 3934 추천 33 댓글 20
														

정리 증명은 논리적 추론의 숙달과 목표를 향해 무한히 넓은 행동 공간을 탐색하는 능력을 보여주며, 이는 뛰어난 문제 해결 능력을 의미합니다. 1950년대 이후(참조  6 , 7 ), 더 나은 정리 증명 능력을 추구하는 것이 인공지능(AI) 연구의 지속적인 초점이었습니다 8 . 수학 올림피아드는 세계에서 가장 평판이 좋은 정리 증명 대회로, 1959년부터 시작되어 비슷한 오랜 역사를 갖고 있으며 문제 해결에 탁월한 재능을 발굴하는 데 중요한 역할을 했습니다. 올림피아드 수준에서 최고의 인간 성과를 일치시키는 것은 AI 연구의 주목할만한 이정표가 되었습니다.



딥마 논문 초반에도 말하듯이

AI 분야에서 수학 올림피아드 최고의 인간 수준의 모델은 하나의 중요한 이정표였음

그래서 여기에 도전했던 연구자들도 많고

근데도 빡대가리 기계는 턱없이 부족했다



79ec857eb3ed6af63cece9e341857302a02b33f0b9fe1e5d84ebc5f9fb144427f7ebc1927377da2aac

기존 SOTA가 30점 만점에 고작 10점 받았는데

이번에 AlphaGeometry가 무려 25점으로 끌어올림

인간 평균보다도 훨씬 높고 최고 수준


근데 이걸 기하학에만 했다는건데

그럼 다른거 하는거는 너무 빡센거 아니냐? 싶을 수도 있지만

이번 연구의 핵심은 100% 합성데이터 학습임

그냥 수학 증명 과정 합성데이터 무한 생산해서 가져다주면 저렇게 똑똑해진다는걸 증명함

합성데이터는 LLM이 만듦. 지금 LLM이 만든 것도 저정도인데

차세대 LLM들은 더더욱이 잘 만들겄지.


그리고 연구의 또 다른 특징은

모델이 '인간이 이해 가능한 증명'을 하는 와중에도 저리 잘한다는 것

그냥 이상한 알고리즘이 아니라 언어모델 기반이기에 가능한 일


AGI에 두~세발짝은 가까워진듯


자동등록방지

추천 비추천

33

고정닉 15

원본 첨부파일 1

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 말머리 제목 글쓴이 작성일 조회 추천
2868 설문 힘들게 성공한 만큼 절대 논란 안 만들 것 같은 스타는? 운영자 24/06/10 - -
2870 이슈 [디시人터뷰] 웃는 모습이 예쁜 누나, 아나운서 김나정 운영자 24/06/11 - -
413507 정보/ Open ai-새로운 임베딩 모델 발표 및 가격인하 [9] ㅇㅇ(211.214) 01.27 1875 21
413403 일반 자동화 시스템에 불안감 느끼는 세무사 [11] ㅇㅇ(221.147) 01.27 3153 26
413376 정보/ ETRI, 이미지 생성모델 3종, 대화형 시각언어모델 2종 오픈소스 공개 [2] 니지카엘갤로그로 이동합니다. 01.27 1147 16
413372 일반 dc의 한 ai전문가의 특이점 추측.jpg [11] 선형충갤로그로 이동합니다. 01.27 3065 16
413352 정보/ ChatGPT 신기능 (at)@GPTs [9] 초존도초갤로그로 이동합니다. 01.27 2166 20
413336 정보/ ETRI 코알라 찍먹 [15] 뜨콜갤로그로 이동합니다. 01.27 1159 13
413320 일반 기계공학 석붕이 퇴근함 [5] 빽사장갤로그로 이동합니다. 01.27 1643 18
413257 일반 ai연구원들 "5년후에 시험은 사라진다" [7] ㅇㅇ(211.59) 01.27 5338 32
413241 정보/ '음악 본능'을 AI로 밝혀내다 [6] ㅇㅇ(182.230) 01.27 2813 26
413217 일반 전 구글AI 연구원, "AI컴퓨팅 비용이 저렴해지고 있다" [5] 모브갤로그로 이동합니다. 01.27 2509 23
413194 일반 구글 연구원들 제미니 프로가 gpt4 잡았다고 신났네 [9] ㅇㅇ(211.59) 01.27 2346 20
413121 일반 유입들이 알아야 할건 특붕이들이 특이점을 주장하는게 아님 [4] ㅇㅇ갤로그로 이동합니다. 01.27 434 12
413109 정보/ AGI, ASI 등장 = 특이점이 아님 [13] ㅇㅇ(182.230) 01.27 3184 31
413062 일반 FFF: GPT 4.5는 취소되었다 [9] ㅇㅇ(116.120) 01.26 3083 16
413054 일반 근데 갤 진짜 순진한 거 같음 [6] ㅇㅇ(211.214) 01.26 561 12
413046 일반 네이버 하정우, 내가 정의하는 AGI 내 생에 쉽지 않다 [14] 슈퍼130클럽갤로그로 이동합니다. 01.26 3654 16
413034 정보/ 머스크 x.ai 60억 달러 모금 목표..오픈ai에 도전한다 [2] ㅇㅇ(211.59) 01.26 363 10
413031 일반 엔비디아 회장 젠슨황 "나는 로봇" [10] ㅇㅇ갤로그로 이동합니다. 01.26 3499 22
412979 정보/ 얀 르쿤, AI와 함께 바보가 되지 않는 방법 [11] 모브갤로그로 이동합니다. 01.26 3579 30
412958 일반 OpenAI 연구원 "세상을 바꿀 것" [17] 모브갤로그로 이동합니다. 01.26 4485 20
412932 일반 현재 OPEN AI 상황 [9] ㅇㅇ(210.113) 01.26 5519 31
412922 AI창 GPT3.5로 이미지를 생성하는 환각 발견 [2] ㅇㅇ갤로그로 이동합니다. 01.26 3133 20
412917 역노화 CAR T 세포로 노화 관련 문제를 해결한다는 논문이 나옴 [9] ㅇㅇ(211.59) 01.26 2525 26
412903 정보/ gpt4 터보 0125 (작은거) [3] ㅇㅇ갤로그로 이동합니다. 01.26 1328 16
412902 일반 오픈ai에서 방금 새로운거 발표함 [7] ㅇㅇ(211.59) 01.26 3260 17
412892 일반 "앤디비아 AI신약 신의영역 도전" 게임 체인저 된 ‘AI 신약개발’ [6] 빽사장갤로그로 이동합니다. 01.26 2146 26
412885 정보/ Meta, AI 데이터 센터 건설계획 발표 [2] 모브갤로그로 이동합니다. 01.26 1121 21
412871 일반 특이점은 가난하고 힘없는 자들이 어려움에 처했을 때 [6] ㅇㅇ(1.230) 01.26 2783 21
412870 일반 OpenAI, 주요문서 공개 약속 조용히 폐기 [15] ㅇㅇ(123.100) 01.26 2929 22
412868 일반 특갤에서 강성태 얘기를 봐야하나 [12] ㅇㅇ(121.134) 01.25 894 12
412865 일반 [특붕이 강성태 기념] 특이점 선언문 [1] ㅇㅇ(1.216) 01.25 1070 19
412855 일반 강성태햄 디씨 안온다는이유가 공감됨 [18] ㅇㅇ(114.207) 01.25 4606 37
412843 일반 성태햄 특갤 언급 ㅋㅋㅋㅋ [39] ㅇㅇ갤로그로 이동합니다. 01.25 5718 57
412837 일반 성태햄ㅋㅋ 특슬람 씹 ㅋㅋ [16] ㅇㅇ갤로그로 이동합니다. 01.25 3561 34
412822 일반 성태햄 신작떴다 ㅋㅋ [15] dd(183.96) 01.25 3860 37
412780 일반 LLM 리더보드 순위표가 오염되었다? [3] ㅇㅇ(116.120) 01.25 1280 15
412725 정보/ ai 그림으로 예능 포스터 만든 방송국 [14] ㅇㅇ(125.180) 01.25 3426 31
412687 정보/ 머스크가 25년에 테슬라봇을 출시할 수 있다고 함 [10] ㅇㅇ(211.59) 01.25 2527 19
412674 일반 이 기사보니 ㅈㄴ불안한게 [8] ㅇㅇ(113.59) 01.25 2416 14
412666 정보/ 레이 커즈와일 신책, 선주문 할인! [22] ㅇㅇ(123.100) 01.25 3224 28
412662 정보/ 사람처럼 의도적으로 거짓말하는 AI... “재교육해도 못 고쳐” [6] ㅇㅇ갤로그로 이동합니다. 01.25 1964 15
412657 일반 fsd v12는 게임 체인저가 맞는듯 [7] ㅇㅇ갤로그로 이동합니다. 01.24 2892 25
412634 일반 오늘 자 남세동 님 페북글 [19] 트기점오나요(45.64) 01.24 1893 23
412628 정보/ 롯데그룹, 전 계열사에 생성 AI 솔루션 도입...실무 적용 박차 [9] 니지카엘갤로그로 이동합니다. 01.24 1719 17
412621 일반 더 작고 저렴한 모델 << 진짜 1도 관심 안생김ㅋㅋ [9] ㅇㅇ갤로그로 이동합니다. 01.24 2077 26
412619 정보/ Microsoft는 더 작고 저렴한 AI 모델 개발 중 [2] 모브갤로그로 이동합니다. 01.24 826 14
412614 정보/ "키 170㎝·몸무게 60㎏ 생산라인 신입"…BMW, 휴머노이드 투입 [2] 007빵(175.194) 01.24 2512 19
412598 정보/ MIT교수 "챗gpt는 그럴듯한 수준" [11] ㅇㅇ갤로그로 이동합니다. 01.24 3285 16
412585 일반 북한, 모의전쟁연습에 AI 활용… 외국 학자들과도 협력 [14] ㅇㅇ(116.120) 01.24 1759 18
412579 일반 또 불안한 뉴스 떳네 [4] ㅇㅇ(113.59) 01.24 2252 14
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2