캘텍 매서톤: 40시간 안에 미해결 수학 문제를 풀어라
Caltech Mathathon – first hackathon ever devoted to research level mathematics
캘리포니아 공과대학(Caltech)이 10월 30일부터 11월 1일까지 최초의 연구 수준 수학 해커톤 '캘텍 매서톤'을 개최한다. 100개 팀이 프론티어 AI 모델을 활용해 미해결 추측을 풀고 새로운 수학 이론을 구축한 뒤, 저명한 수학자들 앞에서 결과를 방어한다. 상금은 총 200만 달러 이상의 AI 크레딧으로 수여되며, 1차 수상은 행사 직후, 2차 수상은 수학 커뮤니티의 검증을 거친 후에 이루어진다. 이 행사는 AI가 순수 수학에서 획기적인 진전을 이룬 최근 사례들(에르되시의 평면 단위 거리 추측 반증, 최초의 명시적 비소픽 군 구성, 6차원 구의 복소 구조 존재)에 힘입어 기획되었다.
AI가 추측을 더 빨리 풀 수 있을 때, 수학자의 역할은 무엇인가?
HN 토론
95- xqcgrek2
자존심 있는 수학자라면 기꺼이 이런 회사들의 마케팅 도구가 되어서 소홀히 다뤄지고 무의미한 퍼즐을 풀려고 하지 않을 것이다.
- Semkas
흥미로운 아이디어라는 것은 부정하지 않겠지만, 40시간 동안 LLM의 출력을 기다리는 것은 고전적인 해커톤이 매력적이고 교육적인 이유와 완전히 반대되는 것 같은 느낌이 든다.
더 일반적으로, 해커톤의 형태(짧은 시간 동안 집중적으로 작업하는 것)가 지금까지 LLM 수학 발전이 이루어져 온 방식과 전혀 맞지 않는다고 생각한다. 내가 아는 한, 대부분 모델을 위해 어떤 것을 선택한 다음, 산발적인 수정과 격려와 함께 일주일 동안 실행하는 것을 포함한다.
- youoy
이것을 큰 연구소들이 수학을 발전시키려는 시도로 읽어야 할까? 아니면 큰 연구소들이 LLM 출력을 검증하기 위해 전문 수학자들을 (값싼?) 노동력으로 이용하려는 시도로 읽어야 할까? 어제 OpenAI의 'An Alien Mind' 게시물에서 그들은 수학이 그들에게 우선순위가 아니라고 공개적으로 말했기 때문에, 개인적으로 나는 어떻게 생각해야 할지 안다...
- corinthia
최근 캘텍 졸업생입니다! 그리고 조직자 중 일부를 잘 알고 있습니다.
캘텍의 컴퓨터 과학 학과는 매우, 매우 약하며, 지난 몇 년간 최고의 인재를 모집하는 데 어려움을 겪어 왔고, 가장 최근의 AI 교수진 채용에도 문제가 있었습니다. 이것은 매우 느리게 변화하고 있지만, 이 행사의 많은 동기는 학생들이 학교를 통해 배울 수 없기 때문에 ML '인정'을 받고 AI에 대해 배울 수 있는 방법을 만들기 위한 것이었습니다. HN이 이것을 다루게 되어 정말 기쁩니다!
- chaoxu
팀으로 지원했습니다. 합격했으면 좋겠네요.
최근에 저는 모델의 완전한 추론 능력을 사용하는 수학을 위한 하네스를 만드는 방법에 관심이 있습니다. 저는 능력과 비용 모두에 관심이 있습니다.
현재 우리가 가진 대부분의 일반적인 하네스는 추론을 최대화하기 위해 만들어진 것이 아닙니다. 저는 codex와 같은 에이전트를 테스트해 보았는데, 추론 토큰의 비용이 20%를 넘는 경우는 드뭅니다. 수학은 많은 추론을 필요로 하기 때문에 이것은 꽤 이상합니다. 그래서 해커톤은 좋은 테스트베드가 될 수 있습니다.