[일반] AI가 난제 해결

[익명(118.235)]

https://www.aitimes.com/news/articleView.html?idxno=207437

오픈AI 과학 책임자 "AI, 인류 난제 해결 시작... 과학 발전 20년 앞당길 것" - AI타임스

- dc official App

[익명(118.235)]

저 꿈 수학자인데 수학자라는 직업이 사라질까봐 걱정됩니다 - dc App

[수갤러 2(1.238)]

이제 수학자는 번역자의 일만하게될듯. ai가 한것을 사람들이 이해할수 있게 번역해주는일.

[수갤러 1(36.39)]

알파폴드로 노벨상까지 나왔기 때문에 나름 생화학쪽의 난제는 해결이라고 봐도 될거 같긴함 물론 알파폴드는 LLM쪽의 AI는 아니긴 하지만 수학 관련으로는 특갤에서 언급되는 에르되시 문제 해결 관련은 그 문제들 자체가 어떤 개인 수학자가 사이트를 만들어서 문제들을 모아놓은거고 그 중에는 이미 풀렸는데 몰랐던 문제들도 있기도 하고 학계에서 그렇게 중요하게 논의되는 문제라기 보다는 문제 수집가가 아카이빙하는 느낌에 가까움 물론 유명한 문제들도 있긴함 그건 안풀렸지 그런 네임드 에르되시 문제는 에르되시의 몇번 문제로 안불리고 에르되시-000 추측 같이 따로 검색하면 위키 문서들이 있을 정도이고 에르되시 본인이 상금을 걸어놓기도 함.

[수갤러 1(36.39)]

현재로서 과대포장하지 않고 말하자면 알레테이아 같은 AI가 푼 문제들은 학계에서 크게 주목받지는 못한 경우라서 난제보다는 잊혀진 미해결 문제에 가까울거 같음 그래서 낮게 열린 열매를 따먹는 수준으로 볼 수 있는데 다만 아직 추론 관련으로 더 발전할 가능성이 있기 때문에 좀더 지켜볼 가치는 있다고 생각함

[익명(211.199)]

근데 그런문제도 못푸는 수학자들이 훨씬 더 많지않냐?

[익명(118.235)]

조언 감사드립니다 - dc App

[수갤러 1(36.39)]

@ㅇㅇ(211.199) IMO나 수능수학을 대다수의 수학자들이 AI보다 잘하냐 이런걸로 들어가면 이미 AI가 충분히 잘하고 있음 하지만 그것으로 인간 수학자가 의미가 없다고 말하진 않음 대다수의 인간 수학자가 하는 수학이 입시나 경시대회와 성격이 다르니까 몇몇 에르되시 문제, First Poorf 같이 인간 수학자가 하는 추론작업을 AI가 시도하는 것들은 그게 현재로서 인간을 대체하는 수준으로 보고있지는 않음 이제야 인간과 AI가 협력하는 연구의 가능성이 보이기 시작한듯 오히려 이걸 사용해서 낮게 열린 열매들을 빠르게 따먹을 수 있어졌으니까 타오가 말하는거 처럼 그걸 응용하면 되는 문제라고 생각함

[수갤러 3(121.152)]

@수갤러1(36.39) 맞아. 그런 낮게 열린 문제들을 건드리면서 연구하던 초보 수학자들 입장에서는 AI가 밥그릇을 뺏어가니 재앙같은 일이고, 좀더 어려운 문제에 집중하는 숙련된 수학자들 입장에서는 예전에는 박사과정 학생들에게 맡겼을만한 귀찮은 작업들을 AI가 빨리 해치워주니까 업무 효율성이 늘어났지. 나도 이미 어떻게 증명해야 하는지 알고있지만 직접 적어서 디테일 채우기 귀찮은 자잘한 lemma들 증명할때 AI에게 lemma 어떻게 증명하면 되는지 증명 스케치해주면 나머지 디테일을 알아서 채워주니까 논문 쓸때 많이 편하더라고. 마치 요새 전문직 시장에서 한참전에 들어온 기존의 숙련된 사람들은 AI로 이득보고 방금 막 진입한 신입들은 일자리가 많이 사라진 것처럼, 일종의 양극화인 셈이야.