Simons Foundation, Anthropic·OpenAI와 손잡고 수학계 AI 전환에 1500만 달러 투입
Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era
Simons Foundation이 Anthropic, OpenAI와 함께 1500만 달러를 투자해 수학자들이 AI 시대에 적응하도록 돕는다. AI가 만든 연구 결과를 검증하고, 새 도구를 익히며, AI 활용의 집단적 기준을 세우는 워크숍과 이니셔티브를 공모로 지원한다. Lean 증명 보조 도구를 일찍 후원했던 재단은 이번 지원을 수학을 넘어 기초과학 전반으로 확장한다.
이 도구들이 어떻게 평가되고, 도입되고, 사용될지를 논의하는 일은 특정 기업이나 기관이 아니라 수학계가 주도해야 합니다. 이 프로그램의 목표는 수학계를 지원하는 것입니다.
HN 토론
173- muragekibicho
나는 Terrence Tao와 이미 자금이 넉넉한 30명 남짓한 수학자들이 이 돈을 받는 동안, 우리처럼 경력 초반의 수학 학생들은 빈털터리로 남겨지는 상황에 대해 많이 생각한다.
이건 어느 정도 "node JS 재단에 100달러를 기부하는 것이지, npm fund를 실행했을 때 나타나는 패키지들에 기부하는 게 아니다"와 비슷하다.
- simonw
> 파트너십 아래, Simons Foundation, Anthropic, OpenAI는 총 1,500만 달러의 자금과 자원을 투입할 것이다. 재단은 자금을 관리하고 수여하며, 여기에는 연구자들이 최근의 AI 지원 결과를 평가하고, 새로운 도구를 배우고 사용하며, 관점을 공유하고, AI 사용에 대한 집단적 표준을 형성하는 데 도움이 되는 워크숍과 이니셔티브를 지원하기 위한 공개 제안 요청도 포함된다.
재단은 1994년에 설립되었으며, Wikipedia에 따르면 "2022년 기준 자산이 50억 달러 이상인 미국 최대 자선 단체 중 하나"라고 한다 - Jim Simons가 Renaissance Technologies 헤지펀드를 설립했다.
- mrandish
> > 파트너십 아래, Simons Foundation, Anthropic, OpenAI는 총 1,500만 달러의 자금과 자원을 투입할 것이다.
OAI와 Ant는 수학적 발견을 사실상 그들의 모델을 위한 PR 승리로 착취하고, 그 과정에서 연구 분야를 실수로 황폐화시킨 데 대해 비판을 받았다. 각각 약 500만 달러를 PR 세탁(부분적으로는 토큰 크레딧으로)에 쏟아붓는 것은 자기 이익을 위한 것으로 보인다.
Simons Foundation이 이 기회를 잡아 연구소들에게 존경받을 만한 무화과 잎을 제공한 것에 박수를 보낸다. 아마도 그랜트 제안에 대한 가장 빠른 "예"였을 것이다.
- defgeneric
최근 수학을 위한 CERN과 같은 프로젝트가 제안되었을 때 거의 모든 사람이 그 아이디어를 거부했다. 그것은 더 진지하게 고려되었어야 했다.
이제 Navier-Stokes와 정리 폭탄 충격 이후 상황이 다소 진정되면서, AI 이후 수학이 어떤 모습일지에 대한 무언가가 나타나기 시작했다. 물론 능력이 계속 향상될 것이라는 가정에 기반해야 하지만, 이런 것을 상상해보라--
엄청난 양의 컴퓨팅(임대 또는 소유)을 갖춘 연구소로, 가르침과 연구의 통일이라는 훔볼트 모델에 기반한다. 큰 이름들에게 주요 매력은 선점당할 두려움 없이 컴퓨팅에 접근할 수 있다는 점일 것이다. 새로운 형태의 기여와 협업이 발전하고, 학생과 박사 과정생들에게 미래 경력이 어떤 모습일지에 대한 명확성을 얻을 수 있을 것이다.
현재 수학 대학 학과들이 자원을 통합하지 않고 각자의 길을 따라 위기를 헤쳐나가는 혼란스러운 상황은 전환을 더 어렵게 만든다. 물리학이 흩어진 사이클로트론(닐스 보어 연구소 지하실도 하나를 넣기 위해 파내야 했다)에서 시작해 이후 더 큰 연구소로 이어진 경로를 생각해보라. 그 전환은 물리학이 내부에서 주도했기 때문에 점진적이었다. 반면 수학에서는 모든 대학 학과가 갑자기 같은 모델을 따르지 않고 다른 인센티브에 의해 움직이는 연구소들에 비해 엄청난 컴퓨팅 불리함을 겪고 있다.
이렇게 간단할 수도 있다--어쩌면 우리는 완전히 t [...]
- cuttothechase
1,500만 달러는 베이 지역 주택 5채의 평균 가격이다!
그들이 이 노력으로 무슨 일을 하려는 건지, 아니면 그냥 무료 마케팅을 얻으려는 건지 모르겠다!
- Trusteando
deepseek 같은 모델과의 채팅에서 LLM은 많은 기본 수학적 주장을 틀리게 한다. 아마도 더 발전된 모델은 특별한 상황에서 인간의 작업과 Lean의 안내를 받아 정리를 증명할 수 있을 것이다. 하지만 RL에서처럼, 백만 번 실패하는 무차별 대입 방식은 보상이 멀리 있을 때 충분하지 않을 수 있다.
수학에서 보상은 문제를 더 단순한 경우로 축소하는 분해를 찾는 것이며, 많은 경우 그 보상은 매우 멀리 있다. 게다가 LLM은 많은 경우를 빠르게 처리할 수 있지만, 분해는 종종 인간에게서 나오고 모델이 증명의 공을 가져간다.
이 재단은 LLM에게 인간의 독창성으로 생성된 필요한 분해를 제공할 수 있다. 하지만 일단 제공되면 모델은 경우를 실행하고 공을 가져갈 수 있다. 따라서 LLM에게 더 많은 크레딧이 돌아가고 인간에게는 더 적은 일자리와 더 나쁜 전망이 주어지며, 이는 의도된 결과가 아니더라도 그렇다.
- an0malous
과학자들이 AI 시대를 헤쳐나가도록 돕기 위한 나의 노력:
ChatGPT에서: 설정 -> 데이터 제어 -> "모두를 위해 모델 개선" 끄기
Claude에서: 설정 -> 개인정보 -> "AI 모델 개선 돕기" 끄기
그들은 당신이 작업을 게시한 후에 스크랩할 수 있다.
- efficient_dairy
그래서 그들은 수학자들이 계속 프롬프트를 입력하고 모델에게 증명에 대한 설명을 위해 피드백을 제공하기를 원한다. 그런 다음 모든 것을 작성해 저널에 게재하고 AI 사용을 언급한다. 그러면 갑자기 모델들이 스케일링 법칙 때문에 기술의 "창발"을 통해 읽을 수 있고 이해할 수 있는 증명을 생산하게 된다.