디시인사이드 갤러리

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

갤러리 본문 영역

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

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

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


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


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


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


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


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


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



7cea8375b1816ff236e898bf06d60403acc921b070a0797a69


2023년도 문제


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


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


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



7fee90ad0932b44e963504685680696c2b1181810fb73d8b53e71150a7cda3



1번 : 정답 (2분 25초)


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

2번은 간단한 개념 문제


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


characteristic polynomial 로 서술해도 됨



7fee90ad0932b44e96350468449c7573570978e962baa1461c9c06600727



2번 : 정답 (38초)


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

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


7fee90ad0932b44e963504685682696c4a0716a55d2d179cbf3948d269b995c4


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 의 계수를 보면 된다는 뜻



7fee90ad0932b44e963504685685696c3b65fa4db4fa8dd085bf2b10b8b1be3a



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


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




7fee90ad0932b44e963504685685696ff8c76fd42d43d65c6033f3683479e4


7fee90ad0932b44e963504685685696e35fab38601c4fb77225dcdef0d5143e1


7fee90ad0932b44e963504685685696938f5c2be88da878ee0f3c09aff63



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


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


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



4번 : 정답 


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

5번


선형대수학 eigenvalue 관련 문제


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


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


7fee90ad0932b44e963504685684696c53a816b28b889ec8f94de2b0d61d541d



7fee90ad0932b44e963504685684696f079f19080b7c45a1179481274c71b36b



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





7fee90ad0932b44e963504685684696ec371c57b48305440e09e3bc3fa690b


7fee90ad0932b44e96350468568469694dc8986f2d8c3cbc7de6745fcfb4edf5




7fee90ad0932b44e9635046856846968f5c5e2da8b16f9873895cdfe7e129d1a



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


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

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


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


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


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


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



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


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


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


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



7fee90ad0932b44e963504685687696c0d2b8257f7717e0fc59759d1c6e8c7


7fee90ad0932b44e963504685687696f463791a673afebb0e49caa54850d0b40




7fee90ad0932b44e963504685687696f4672d1b15d96cf8ddebfc62386090145f6




7fee90ad0932b44e963504685687696e97584f4fc10bba7d0b398344a9a9b2

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


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


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


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


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


6번 : 정답 (1분 19초)


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


7fee90ad0932b44e9635046856866a2daba488e8a0de71fd3ff90f862e



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


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


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


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



7fee90ad0932b44e963504685686696c1bbf934be4b8e3d1a80c905e025473



7fee90ad0932b44e963504685686696fc549c6a9327cea7b9096432e606e54ff

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


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




7fee90ad0932b44e963504685686696e565e39c94ad2b07eac037e33df34e185


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


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


4트째에 성공


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


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


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

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



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


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


못 걸러내는 게 아닐까 싶음


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


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


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


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


  








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

추천 비추천

110

고정닉 52

22

댓글 영역

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

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 어떤 상황이 와도 가족 안 굶길 것 같은 생활력 강해 보이는 스타는? 운영자 25/03/24 - -
303697
썸네일
[주갤] 여자 35살이면 소개팅하기 부담스럽지??
[648]
관심종자갤로그로 이동합니다. 02.08 51176 279
303696
썸네일
[국갤] 尹측 석동현, 불의한 세력의 내란몰이와 탄핵 공작에 의해 현직 대
[191]
ㅇㅇ(211.235) 02.08 16384 303
303694
썸네일
[잡갤] 물을 20ml 마시고 수분 섭취를 술로 대체한 듯한 신기루를 본 신애라
[184]
감돌갤로그로 이동합니다. 02.08 36246 30
303692
썸네일
[카연] 우리반에서 나만 못하는 것 (2)
[39]
신비(218.55) 02.08 16292 56
303691
썸네일
[걸갤] 걸그룹 데뷔 하나 때문에 난리난 인도네시아 근황
[744]
ㅇㅇ갤로그로 이동합니다. 02.08 64030 281
303689
썸네일
[코갤] 트럼프, "김정은과 잘 지내는 게 모두에게 이롭다"
[436]
ㅋㅋ.갤로그로 이동합니다. 02.08 22168 131
303687
썸네일
[싱갤] 싱글방글 여초딩에게 백허그를 받는 촌
[248]
썅년갤로그로 이동합니다. 02.08 40335 141
303684
썸네일
[잡갤] 인천은 1시간 30분의 도시가 맞을까?
[286]
묘냥이갤로그로 이동합니다. 02.08 28201 104
303682
썸네일
[중갤] 계엄이 성공했다면 벌어질 무서운 현실을 알아보자
[1607]
ㅇㅇ갤로그로 이동합니다. 02.08 46819 420
303681
썸네일
[싱갤] 싱글벙글 이성적인 연애를 위한 그래프.jpg
[222]
최강한화이글스팬갤로그로 이동합니다. 02.08 59842 484
303679
썸네일
[A갤] 트럼프, 일본과의 긴밀한 관계 강조하지만 균형 잡힌 무역수지 추진
[88]
ぐち갤로그로 이동합니다. 02.08 16078 71
303677
썸네일
[잡갤] 일본에 있다는 무시무시한 교토식 화법
[340]
감돌갤로그로 이동합니다. 02.08 35184 162
303676
썸네일
[스갤] 잇섭 s25 간단 요약
[483]
갓수갤로그로 이동합니다. 02.08 56426 254
303674
썸네일
[싱갤] 싱글벙글 일제강점기 조선을 방문한 어느 영국 여인의 그림들.jpg
[557]
최강한화이글스팬갤로그로 이동합니다. 02.08 23168 167
303672
썸네일
[국갤] 실시간 대구 집회 현장 ㄷㄷㄷ
[1067]
..(14.138) 02.08 45790 1477
303671
썸네일
[외갤] 현재 칸예 주변 사람들 상황 ㄹㅇ..
[224]
ㅇㅇ(118.235) 02.08 48186 203
303669
썸네일
[잡갤] 숱한 논란에도 정치논리로 건립…첫단추부터 잘못 끼운 무안공항
[230]
묘냥이갤로그로 이동합니다. 02.08 19067 271
303666
썸네일
[주갤] 해외여행 자주간 여자는 마이너스라는 말에 긁힌 여자들
[767]
관심종자갤로그로 이동합니다. 02.08 45009 474
303664
썸네일
[야갤] 필리핀 도우미, 月 294만원으로 오르나
[660]
감돌갤로그로 이동합니다. 02.08 25851 40
303662
썸네일
[싱갤] 싱글벙글 유재석이 가끔 짜증난다는 조세호
[159]
니지카엘갤로그로 이동합니다. 02.08 29349 105
303661
썸네일
[잡갤] 어떤 여자가 피아노 레슨 문의하다가 만원, 5만원씩 빌려간 이유
[83]
감돌갤로그로 이동합니다. 02.08 39750 33
303659
썸네일
[유갤] 스페인어를 몰라도 알 수 있는 미친 상황
[320]
ㅇㅇ(175.119) 02.08 38116 56
303657
썸네일
[야갤] "종이빨대 망했다" 공장엔 빨간딱지…절반 넘게 문닫았다
[758]
감돌갤로그로 이동합니다. 02.08 37182 308
303656
썸네일
[싱갤] 싱글벙글 한국인이 가장 많이 키우는 털바퀴
[499]
수인갤러리갤로그로 이동합니다. 02.08 39575 70
303654
썸네일
[대갤] 日, 이웃들에게 다정한 척 연기하던 부부... 부엌칼로 토론하다 비참!
[196]
난징대파티갤로그로 이동합니다. 02.08 26843 180
303652
썸네일
[토갤] 2025년 2월초 축구소식들.news
[52]
서울복방에이스갤로그로 이동합니다. 02.08 13708 46
303649
썸네일
[잡갤] 착공 임박한 '새만금 신공항'.. '조류충돌 논란' 재점화
[386]
묘냥이갤로그로 이동합니다. 02.08 18326 157
303647
썸네일
[디갤] 재미로 찍는 마포 확장감도100 시골사골
[31]
설치는설치류갤로그로 이동합니다. 02.08 9291 18
303646
썸네일
[야갤] 끔찍) 故오요안나 어머니와 가해자 B간의 통화
[454]
감돌갤로그로 이동합니다. 02.08 43355 1152
303644
썸네일
[싱갤] 그저 안타갑게 교통사고를 당했을 뿐인데...
[475]
F818갤로그로 이동합니다. 02.08 52463 559
303642
썸네일
[미갤] 로마노프 왕실의 최후
[178]
화교참수(1.222) 02.08 22958 261
303641
썸네일
[국갤] 스웨덴에서 삶을 정리하며..
[198]
한덴게이갤로그로 이동합니다. 02.08 29961 196
303639
썸네일
[야갤] 대구 08년생 근황 여학생 뺨 때리고 '깔깔'…집단구타 영상 확산
[533]
감돌갤로그로 이동합니다. 02.08 41178 214
303637
썸네일
[레갤] 신두형 오늘자 골
[172]
레붕이(119.71) 02.08 18152 126
303636
썸네일
[싱갤] 싱글벙글 “목사방” 목사 공개
[536]
ㅇㅇ갤로그로 이동합니다. 02.08 48025 281
303632
썸네일
[잡갤] 본인을 의느님이라 부르길 강요하고 치료 이상하게하는 치과의사
[256]
감돌갤로그로 이동합니다. 02.08 29011 140
303631
썸네일
[야갤] 전두환 자택 환수 '불발'‥867억 원 미납 "추징금 채권 소멸"
[496]
감돌갤로그로 이동합니다. 02.08 20465 76
303629
썸네일
[싱갤] 알쏭달쏭 대한해협 해전
[223]
러시아살아용갤로그로 이동합니다. 02.08 17972 105
303627
썸네일
[중갤] sbs)윤두창, 인원 안 쓴다더니 바로 언급...과거에도 사용
[647]
ㅇㅇ갤로그로 이동합니다. 02.08 20218 347
303626
썸네일
[필갤] 삿포로 낮사진, 비전3 250D, 28장.webp
[24]
Redirts갤로그로 이동합니다. 02.08 9075 23
303624
썸네일
[군갤] 그린란드 미국 땅 되면 "한국이 도울 수도?"
[512]
외신번역군갤러갤로그로 이동합니다. 02.08 35570 228
303622
썸네일
[싱갤] 현재 한국에서 벌어진 친딸 성폭력 사건
[703]
ㅇㅇ갤로그로 이동합니다. 02.08 54967 544
303621
썸네일
[잡갤] 한의사가 알려주는 감정자유기법.jpg
[304]
감돌갤로그로 이동합니다. 02.08 20563 23
303619
썸네일
[새갤] 이진우, 검찰서 진술 "끌어내라는 건 국회의원"
[332]
ㅇㅇ갤로그로 이동합니다. 02.08 14978 100
303617
썸네일
[교갤] 돌아온 동계아시아게임, 8일간 대장정 돌입
[100]
묘냥이갤로그로 이동합니다. 02.08 11456 10
303614
썸네일
[싱갤] 싱글벙글 공공도서관 빌런 관상 모음
[279]
ㅇㅇ(119.201) 02.08 51582 287
303612
썸네일
[야갤] 대의를 위한 범행…'일본도 살인' 감싼 가해자 아버지, 결국 재판행
[181]
감돌갤로그로 이동합니다. 02.08 17744 82
303611
썸네일
[카연] 옆집 미시 '이미안'씨 (17)
[72]
아바방갤로그로 이동합니다. 02.08 20142 48
303609
썸네일
[싱갤] 싱글벙글 칸예웨스트 근황...jpg
[233]
ㅇㅇ(211.204) 02.08 45599 77
303607
썸네일
[중갤] "여인형, 정치인 체포명단 폐기…수사기관 속일 가짜메모 작성 지시도"
[234]
ㅇㅇ갤로그로 이동합니다. 02.08 16104 124
뉴스 박명수X김대호X최다니엘, 아프리카 초원서 짜릿한 만남 성사 (위대한 가이드2) 디시트렌드 03.26
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2