당연히 기존에 존재하는 이론들은 ai가 꿰고 있겠지 수학올림피아드? 거기서 문제로 수학계의 난제가 나오냐? 아니 대갤러들 긁으려는건 좋은데 기본적인건 좀 갖추고 와서 긁자 가성비 떨어진다..
인간도 난제가까운 derivation을 수행할때 이미 있는 이론들을 조합하고 비틀어 증명하지 0에서 1을 만드는건 없음 questioning만 잘해준다는 전제하 이론수학자들 몇 제외하고 ai가 싹 이길거같은데.
그건 당연한건데 그걸 못한다고 ai는
그 기존 이론 짜집기에서 가장 중요한게 assumption인데 나는 ai가 그걸 수행한걸 본적이 없음
뭘 그걸 못하노 올림피아드가 객관식인줄아는거노
@ㅇㅇ(223.39) 이미 알려진 내용들에대해선 잘 하겠지 근데 그게 연구냐고. 아무리 기존 이론의 재조합이라고 해도 거기선 필연적으로 창조에 가까운 활동이 들어가기 마련임.
이미 고급 llm에 접목되는 자문자답 기법이 바로 assumption을 해주는거지 이론수학은 아직 그렇다할 벤치마크를 못찾은거지 이론에 실증까지 겸비되어야하는 신약찾기만 봐도 저정돈데 이론분야는 대부분의 인간을 뛰어넘었지