디시인사이드 갤러리

최근 방문

NEW

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

갤러리 본문 영역

o1 pro에게 대학생 수학경시대회 풀게 하기

AMI갤로그로 이동합니다. 2024.12.09 13:10:02
조회 20723 추천 110 댓글 202

대수경 = 대학생 수학경시대회


kmo 등의 수학경시대회는 보통 고등학생 이상까지만 (즉, 대학 수학을 배우지 않은 사람만) 참가가 가능한데 대수경은


대학 수학 교육을 받은 사람들을 대상으로 하는 수학 경시대회


kmo 등 중등 수학경시대회보다 더 어려울 거라고 생각하기 쉽지만 


사실은 중등교육과정이랑 고등교육과정을 둘 다 비슷한 정도로 알고 있다는 가정 하에 더 높은 지적 능력을 요구하지는 않고, 


보통 2-3문제 정도만이 발상적으로 어려운 문제가 출제되긴 함


그래도 역시 대한수학회에서 수학 교수님들이 출제하는 문제인 만큼 퀄리티는 좋고 수학 능력을 평가하기 좋음



7cea8375b1816ff236e898bf06d60403acc921b070a0797a691


2023년도 문제


---------------------------------------------------------------------


1번은 극좌표에서 적분으로 넓이 구하는 문제고, 미적분학 같은 데에 연습문제 정도로 나올 만한 문제임


과학고 학생들은 2-3학년 때 배우고, 이공계 대학교 1학년에서 배울 정도로 쉬운 문제



7fee90ad0932b44e963504685680696c2b1181810fb73d8b53e71150a7cda32



1번 : 정답 (2분 25초)


--------------------------------------------------------------------

2번은 간단한 개념 문제


그냥 고윳값과 고유벡터 정의만 알면 풀 수 있는 문제고, T^2 (A) = A 인 거 이용해서 


characteristic polynomial 로 서술해도 됨



7fee90ad0932b44e96350468449c7573570978e962baa1461c9c066007273



2번 : 정답 (38초)


----------------------------------------------------------------------

3번은 계산 문제로, theta'(t) 를 계산해서 부호만 판별하면 됨


7fee90ad0932b44e963504685682696c4a0716a55d2d179cbf3948d269b995c44


3번 : 정답 

-------------------------------------------------------------------------------

4번은 정수를 어떤 정수들의 합으로 표현하는 방법의 수에 관한 조합론 문제


언뜻 봐서는 뭔가 점화식 같은 걸 이용할 것 같지만, 사실은 생성함수를 이용해서 구할 수 있다는 방법이 알려진


신기한 문제임


이 문제처럼 n을 {1, 2, 4, 8, ...}의 원소들의 합으로 나타내는 방법의 수를 구할 때


(1 + x + x^2 + x^3)(1 + x^2 + x^4 + x^6)(1 + x^4 + x^8 + x^12)...


라는 식을 전개해서 x^n 의 계수를 보면 된다는 뜻



7fee90ad0932b44e963504685685696c3b65fa4db4fa8dd085bf2b10b8b1be3a5



생성함수 발상해낸 것까지는 좋았는데, 


처음엔 답을 이렇게 적었길래 더 간단한 형태로 표현할 수 있는 방법을 찾아보라고 함




7fee90ad0932b44e963504685685696ff8c76fd42d43d65c6033f3683479e46


7fee90ad0932b44e963504685685696e35fab38601c4fb77225dcdef0d5143e17


7fee90ad0932b44e963504685685696938f5c2be88da878ee0f3c09aff638



이후 생성함수 변형한 식에서의 x^n의 계수는 i + 2j = n 을 만족하는 (i, j) 순서쌍의 개수라는 걸 알아내서 정답


이미 좀 알려진 테크닉이긴 하지만, 처음에 답을 저렇게 쓰고 이후에 고친 걸 보면 풀이를 어디서 그대로 베껴온 게 아니라


스스로 발상해냈다고 봐야 하지 않을까 싶음



4번 : 정답 


---------------------------------------------------------------

5번


선형대수학 eigenvalue 관련 문제


(1)번은 이미 잘 알려진 정리이고, (2)번은 그걸 응용해서 증명하는 문제


근데 이새기 왜 갑자기 영어로 대답함?


7fee90ad0932b44e963504685684696c53a816b28b889ec8f94de2b0d61d541d9



7fee90ad0932b44e963504685684696f079f19080b7c45a1179481274c71b36b10



(2)번 증명할 때 처음에 증명에 오류 있길래 다시 하라고 함





7fee90ad0932b44e963504685684696ec371c57b48305440e09e3bc3fa690b11


7fee90ad0932b44e96350468568469694dc8986f2d8c3cbc7de6745fcfb4edf512




7fee90ad0932b44e9635046856846968f5c5e2da8b16f9873895cdfe7e129d1a13



두 번째 시도에서는 (BA-I)^2 = 2(BA-AB) 로 변형하고, trace=(eigenvalue의 합) 까지 생각한 건 좋았는데,


eigenvalue 제곱합을 구할 때 eigenvalue가 복소수일 수도 있는데 이게 항상 0 이상이라고 생각해버림.

(켤레복소수끼리 제곱합을 구해도 0보다 작을 수 있음)


대충 읽으면 맞다고 생각할 수도 있지만 틀린 내용이고, 실제로 이 논증과정이 올바르지 않다는 반례 행렬을 찾을 수도 있음.


아무튼 아직까지는 이 정도 깊이(수학과 학부 과정) 에서 발생하는 환각은 내부 검증 과정에서 놓치는 듯함


이후 힌트 주면서 다시 시도해봤는데도 실패


5번 : 오답 (증명 과정에서 오류)



-------------------------------------------------------------------------------------------------


6번은 정수론 문제로, 식이 좀 복잡해 보이지만 사실은


(2023과 서로소인 수 x) x (2023과 서로소인 수 y) = (2023과 서로소인 수)


가 된다는 것과, x가 고정돼있을 때 y를 변화시켜가면서 더하면 결국 우변은 2023과 서로소인 수가 전부 한번씩 나온다는 걸 이용하면 쉽게 풀 수 있음



7fee90ad0932b44e963504685687696c0d2b8257f7717e0fc59759d1c6e8c714


7fee90ad0932b44e963504685687696f463791a673afebb0e49caa54850d0b4015




7fee90ad0932b44e963504685687696f4672d1b15d96cf8ddebfc62386090145f616




7fee90ad0932b44e963504685687696e97584f4fc10bba7d0b398344a9a9b217

그리고 그걸 잘 캐치해내고 식까지 완벽하게 쓴 후 합을 잘 구함. (채점자가 누구라도 만점을 줄 수준)


그냥 패턴을 파악해서 푼 거 아니냐? 라고 하면 그건 그렇지만,


이 정도 응용문제에서 만약 인간이 수식까지 완벽하게 쓰고 계산실수 없이 답을 잘 구해냈다면


누구라도 그 인간 보고 "잘 이해했구나."라고 할 거임.


이걸 1트만에 잘 풀었다는 건 언어모델임에도 신기하게 이런 수학적 지식들을 잘 "이해하고 있다"는 뜻


6번 : 정답 (1분 19초)


------------------------------------------------------------------------------


7fee90ad0932b44e9635046856866a2daba488e8a0de71fd3ff90f862e18



7번은 맨 위 사진에 나와있지는 않은데 이 문제


양변에 로그를 씌우든 네제곱을 하든 변형해서 테일러전개식을 쓴 후에, 복잡한 계산과정과 수학적 귀납법 등을 동원해서 


a_n이 음이 아닌 정수임을 보여야 하는 문제


언뜻 보기는 쉬워보이는데 괜히 7번 문제가 아니듯이 계산과정이 꽤 복잡하고 중간에 수학적 귀납법에서 귀납가정도 잘 써야함.



7fee90ad0932b44e963504685686696c1bbf934be4b8e3d1a80c905e02547319



7fee90ad0932b44e963504685686696fc549c6a9327cea7b9096432e606e54ff20

처음에는 a_n 을 그냥 막무가내로 계산 노가다로 구하려고 하다가,


좀 복잡한 식 나오니까 "음 이건 자명하진 않은데 보통 이런 합 구하다보면 전부 다 날라가서 정수됨ㅇㅇ" 이 ㅈㄹ 하고 앉았음ㅋㅋㅋ




7fee90ad0932b44e963504685686696e565e39c94ad2b07eac037e33df34e18521


좀 더 엄밀히 계산하고 계산과정 보여달라고 말하니까 접근 방향 바꿔서 잘 쓰긴 하더라


근데 이후에도 점화식은 잘 썼는데 계산 과정 틀리고 논리 전개도 틀리길래 한 3번 정도 바로 잡아줌


4트째에 성공


7번 : 정답 (4분 8초, 4트)


------------------------------------------------------------------


결과 : 7문제 중 5문제 1트만에 정답,

         가장 어려운 7번 4트째에 제대로 풀어냄



결론 : 아직 계산 말고 증명 같은 부분에서 조금 복잡해지면 논리 전개에서 실수를 보일 때가 있음


특히 부호 판별을 좀 헷갈려 하는 것 같고, 내 생각엔 "그럴 듯한" 증명을 써놓으면 검증 모델이 제대로 검증을 못 해서


못 걸러내는 게 아닐까 싶음


그래도 수능~대수경 수준까지의 문제들은 어느 정도 잘 푸는 것 같고,


진짜 창의적인 발상이나 복잡한 사고를 필요로 하는 IMO나 Putnam 급은 아직 무리가 있지 않나 싶음


그래도 4o 나온지 반년, o1-preview 나온지 3개월 정도만에 이 정도면 정말 성장속도가 말이 안된다고 생각함


갠적으로 AlphaGeometry 가지고도 한번 테스트해보고 싶은데 걔는 자연어가 안 돼서 너무 피곤하더라...


  








출처: 특이점이 온다 갤러리 [원본 보기]

추천 비추천

110

고정닉 52

22

댓글 영역

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

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 입금 전,후 관리에 따라 외모 갭이 큰 스타는? 운영자 25/01/20 - -
공지 실시간베스트 갤러리 이용 안내 [2659/2] 운영자 21.11.18 10024226 504
300240
썸네일
[카연] 미용실 만화 30
[117]
엄국수갤로그로 이동합니다. 01:50 3145 12
300238
썸네일
[싱갤] 실제 포렌식 과정.....GIF
[272]
ㅇㅇ갤로그로 이동합니다. 01:40 10490 31
300236
썸네일
[잡갤] 과정부터 결말까지 모두 엉망이었던 TV수리공의 냉동인간 프로젝트
[37]
감돌갤로그로 이동합니다. 01:30 5534 25
300233
썸네일
[부갤] 한국은 하나의 거대한 택갈이
[128]
ㅇㅇ갤로그로 이동합니다. 01:10 11602 205
300231
썸네일
[싱갤] '낭만의 시대'
[225]
ㅇㅇ갤로그로 이동합니다. 01:00 10050 97
300230
썸네일
[4갤] 인서울 유일 국립 종합대, 서울과기대 가보자(캠 사진)
[195]
4갤러(118.221) 00:50 8511 30
300228
썸네일
[상갤] 왜 멕시코 사람들은 에밀리아 페레즈를 싫어하는걸까
[74]
ㅇㅇ갤로그로 이동합니다. 00:40 8999 101
300226
썸네일
[로갤] 닌텐도 Wii의 로스트 미디어 (였던 것), '시동 디스크'
[81]
ㅇㅇ(59.22) 00:30 8135 43
300225
썸네일
[싱갤] 훌쩍훌쩍 동행 올타임 레전드편...jpg
[301]
ㅇㅇ갤로그로 이동합니다. 00:20 23443 233
300223
썸네일
[국갤] (스압) 헌재가 강제임명하려는 마은혁 판사의 진실(feat.간첩)
[359]
ㅇㅇ(1.235) 00:10 17906 718
300221
썸네일
[빅갤] 트랜드에 민감하게 반응하는 나영석 pd
[143]
뱅마갤러(117.111) 00:00 11647 70
300220
썸네일
[싱갤] 기가채드 톰보이 누나 만화
[108]
lduna갤로그로 이동합니다. 01.25 25320 165
300218
썸네일
[일갤] 내 바이크로 일본여행 - 11편 (바이크 까페-유잔소 료칸 그 다음은?)
[20]
하짱갤로그로 이동합니다. 01.25 3752 14
300215
썸네일
[잡갤] 등산해서 노지에서 캠핑하는 노르웨이인과 사표 쓰고싶은 제작진들
[57]
감돌갤로그로 이동합니다. 01.25 8107 8
300213
썸네일
[피갤] 최혜선:피의게임 출연 전에 국기 다 외워갔다.
[136]
ㅇㅇ(61.105) 01.25 17491 81
300211
썸네일
[나갤] (스압) 알고리즘, AI가 무서운 이유
[185]
거시팀김씨갤로그로 이동합니다. 01.25 14776 119
300210
썸네일
[싱갤] 훌쩍훌쩍 영화말아먹어서 쫄딱 망했던 감독
[214]
ㅇㅇ갤로그로 이동합니다. 01.25 16248 82
300208
썸네일
[중갤] 제주항공참사 조사결과, 엔진서 '가창오리' 흔적
[468]
ㅇㅇ갤로그로 이동합니다. 01.25 16404 24
300206
썸네일
[군갤] 냉전) 미그23 vs 미라주F1 붙은 썰
[29]
나쿠로이갤로그로 이동합니다. 01.25 8110 35
300205
썸네일
[싱갤] 훌쩍훌쩍 동남아 업체결혼 후에 한국에서 일어날 일들
[799]
손진호갤로그로 이동합니다. 01.25 25290 268
300203
썸네일
[카연] 중세 3인 파티 1.manhwa(수정)
[48]
카갤러(112.168) 01.25 5940 31
300201
썸네일
[퓨갤] 염전 타격코치가 말하는 대구시치
[24]
Leessang갤로그로 이동합니다. 01.25 8181 38
300200
썸네일
[디갤] 텍사스 산안토니오 여행(스압)
[18]
두루마리후지갤로그로 이동합니다. 01.25 4850 10
300196
썸네일
[유갤] <환승연애 스핀오프> 역대급 숙소 상태
[114]
ㅇㅇ(175.119) 01.25 13955 8
300195
썸네일
[힙갤] 어느 헬스 유튜버의 스윙스 몸평가.jpg
[355]
ㅇㅇ(211.235) 01.25 36151 489
300193
썸네일
[싱갤] 싱글벙글 30대가 돼서도 해외여행 경험없는 사람들
[866]
레이퀀스뱅큐어갤로그로 이동합니다. 01.25 31989 79
300191
썸네일
[잡갤] 죽을고비를 넘기고나니 뭐든 떠오르는 초능력이 생긴 남자
[75]
감돌갤로그로 이동합니다. 01.25 13973 39
300190
썸네일
[유갤] 피의 게임3 준결승+결승전 충격 먹은 참가자들
[183]
ㅇㅇ(112.149) 01.25 11695 126
300188
썸네일
[위갤] 3. 스프링뱅크 Barley to Bottle Tour
[37]
닥철갤로그로 이동합니다. 01.25 4471 15
300186
썸네일
[싱갤] 싱글벙글 리얼리스트를 듀얼리스트로 만든 소년
[102]
ㅇㅇ갤로그로 이동합니다. 01.25 25709 174
300185
썸네일
[주갤] 결혼 준비하다가 예비신부랑 욕하고 대판 싸웠다는 블라남
[387]
갓럭키갤로그로 이동합니다. 01.25 26294 136
300183
썸네일
[대갤] 日최초 오스카 장편 다큐 영화상 후보 등재 쾌거! 그런데 반응이...?
[158]
난징대파티갤로그로 이동합니다. 01.25 11319 117
300181
썸네일
[싱갤] 싱글벙글 별을 볼 때 곁눈질로 보면 잘 보이는 이유
[73]
ㅇㅇ갤로그로 이동합니다. 01.25 18940 77
300178
썸네일
[u갤] 뉴저지주 시장이 UFO가 드론으로 위장하고 있다고 뉴스에서 인정함!!!
[257]
u붕이(211.214) 01.25 17690 106
300176
썸네일
[싱갤] 냉혹한 팬에게 키스 당한 여배우의 세계...jpg
[221]
인터네코갤로그로 이동합니다. 01.25 46810 226
300175
썸네일
[카연] 워크래프트 언데드 유저의 새로운 판타지 보드게임 입문기.manhw
[87]
김다리미갤로그로 이동합니다. 01.25 16944 104
300173
썸네일
[싱갤] 깜짝 .. 조선시대의 군대 움직이는 법 ㄹㅇ ..jpg
[344]
직정령갤로그로 이동합니다. 01.25 38957 310
300171
썸네일
[잡갤] 휴민트 527 : 재학생 연합 교육부 민원 제출 내용
[70]
휴민트솜솜이갤로그로 이동합니다. 01.25 9778 36
300170
썸네일
[토갤] 토트넘 VS 레스터 경기전 기자회견
[93]
ㅇㅇ갤로그로 이동합니다. 01.25 11300 27
300168
썸네일
[주갤] (유튜브같이보자) 한국의 불안한 치안에 두려워하는 일본여성
[418]
ㅇㅇ(175.114) 01.25 28780 325
300166
썸네일
[싱갤] 긁적긁적 염소똥꼬긁게를 사온 싱붕이
[199]
ㅇㅇ갤로그로 이동합니다. 01.25 31658 301
300165
썸네일
[군갤] 냉전시절 CIA가 "질문" 하는 방법에 대해.araboja
[83]
378476갤로그로 이동합니다. 01.25 22806 94
300163
썸네일
[유갤] 최화정 피셜 진짜 맛있다는 날계란밥
[411]
ㅇㅇ(175.119) 01.25 22759 33
300160
썸네일
[국갤] 대통령 변호인단 기자회견 전문
[422]
헬기탄재매이갤로그로 이동합니다. 01.25 22059 750
300158
썸네일
[디갤] 인생 첫 도쿄 13장
[115]
작은센서들아갤로그로 이동합니다. 01.25 9942 54
300156
썸네일
[야갤] 수갑찬 불법체류자 군용기로 내쫓았다... 사진 공개
[440]
ㅇㅇ갤로그로 이동합니다. 01.25 31766 954
300155
썸네일
[싱갤] 운동을 해도 몸이 변하지 않는 이유…jpg
[557]
공치리구갤로그로 이동합니다. 01.25 52910 484
300153
썸네일
[야갤] 체력 검정 받다가…산불 진화대 지원자 잇따라 숨져
[271]
마스널갤로그로 이동합니다. 01.25 18131 61
300151
썸네일
[잡갤] 헌금 내는 목표량 정해주고 받은 돈으로 명품입고 외제차 타는 목사
[144]
감돌갤로그로 이동합니다. 01.25 17564 55
뉴스 오스카 최초 트랜스젠더 주연상 나오나…‘에밀리아 페레즈’, 아카데미 최다 후보 디시트렌드 01.25
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/4