[📪정보] FrontierMath 심포지엄 참여 수학자 후기 트윗

[익명(110.10)]

이전 글 참고

https://gall.dcinside.com/mgallery/board/view/?id=thesingularity&no=741472

https://frontiermath-symposium.epoch.ai/

https://x.com/zjasper666/status/1931481071952293930

방금 프론티어매스 심포지엄(주최: @epochai)에 대한 뉴스 기사를 봤습니다. AI가 놀라운 속도로 발전하고 있지만, 기사의 일부는 다소 과장되어 있어 수정이 필요하다고 생각합니다. (제 개인적인 의견입니다.)

약 한 달 전, 저는 30명의 다른 수학자들과 함께 프론티어매스 심포지엄에 참석했습니다. 저희의 과제는 인간 수학자가 풀려면 약 일주일이 걸리고 AI 모델이 풀기 어려워하는 수학 문제를 만드는 것이었습니다. 그런데 한 가지 특별한 제약이 있었습니다. 고급 수학은 일반적으로 순수한 계산보다는 추론과 증명에 중점을 두지만, 각 문제에는 수치적 답이 필요하다는 것이었습니다.

저는 기하학 및 위상수학 그룹에 속해 있었는데, 저희는 기하학적 직관과 핵심 정리에 대한 이해가 필요한 문제를 만드는 것을 목표로 했습니다. 처음에는 현재 AI 모델이 고급 기하학과 위상수학에 취약하다고 생각했습니다. 그래서 개념적 깊이가 필요한 박사급 문제들을 여러 개 설계했습니다.

놀랍게도,

@OpenAI의 o4-mini-high(제가 지금까지 테스트해 본 최고의 수학 모델)는 대부분의 문제를 해결할 수 있었습니다. 추론이 가끔 틀리기는 했지만, 여전히 정확한 수치적 답에 도달했습니다.

아래에 한 가지 예를 첨부했습니다.

다른 수학자들은 몇 가지 흥미로운 사실을 발견했습니다. 최근 연구 결과와 관련된 문제에서도 AI는 놀라울 정도로 효과적으로 결과를 찾고, 참조하고, 적용했습니다.

그래서 저는 전략을 수정했습니다.

수학 논문을 가져와서 몇 가지 중간 정리를 추출하고, 그 결과들을 계산적 방법으로 종합해야 하는 문제를 만들었습니다.

I took a math paper, extracted some intermediate theorems, and created a problem that required synthesizing those results into a computational method.

예상대로 AI는 어려움을 겪었습니다. 중간 단계를 연결하거나 논리 사슬을 통해 추론을 효과적으로 수행하지 못했습니다.

As expected, AI struggled — it couldn’t connect the intermediate steps or reason through the chain of logic effectively.

이틀간의 경험을 통해 얻은 결론:

> AI는 지난 2년 동안 획기적으로 발전했습니다.

> 하지만 현재 LLM(수학 석사)들은 여전히 패턴 매칭에 크게 의존하며 심층 추론 능력은 제한적입니다.

> 아직 새로운 수학적 결과를 도출할 수는 없지만, 관련 문헌을 수집하고 초기 해결책을 도출하는 데는 탁월합니다.

> 특히 검증 및 합성 과정에서 인간의 감독은 여전히 필수적입니다.

예상:

향후 1~2년 안에 AI가 수학자들이 새로운 이론을 발견하고 미해결 문제를 해결하는 데 도움을 줄 것입니다(최근 @terrence_tao가 @DeepMind에서 했던 것처럼). 머지않아 AI는 수학, 그리고 더 나아가 다른 모든 과학 분야의 경계를 넓히기 위해 협력하고, 궁극적으로는 독립적으로 작업하게 될 것입니다.

보고서:

https://scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/

[ㅇㅇ 1(222.112)]

대부분의 문제를 해결할 수 있었다는게 놀라운걸?

[chatgpt4o(ejrtksfl2)]

필즈상도 ai가받겠네

[익명(128.134)]

agi 2027

[특술람(gpt2030)]

[익명(haircut2819)]

벤치로 만들어야 하다보니 막상 증명하는 문제는 없나보네

[ㅇㅇ 2(121.136)]

frontiers 인줄 알았네 문제 많은 저널 출판사 하나 있음

[ㅇㅇ 3(222.235)]

AGI 2029는 정해져있다

[익명(220.65)]

나도 o3로는 해결 못하던 문제를 o4mh로는 완벽하게 맞춰내길래 좋다고는 생각했는데 o4mh가 개쩌는게 맞았구나

[익명(amazonia)]

굿 아직 미흡하기는 하지만 그래도

[슈퍼130클럽(y3xxqs89b55t)]

[도로시냥(slzpdnjsxnf)]

[ㅇㅇ 4(110.13)]

리만 가설 해결 2300년 정도로 본다.

[익명(shore1232)]

LLM(수학 석사) ㅋㅋㅋㅋㅋㅋㅋ