수백억개의 덧셈 뺄셈 곱셈 문제, 방정식 및 함수 등등 데이터를 대량으로 생성해서 학습 시킨 모델을 만들면 수학적 능력이 개화해서 밀레니엄 난제까지 해결 가능할까? 그래도 학습한 데이터를 뛰어넘는 추론은 못하겠지?
머스크가 그쪽으로 모델 만들거라던데
ㄹㅇ? 역시 천재는 이런 생각을 벌써 했구나
그렉 양이라고 수학쪽으로 파고드는 대단한 연구원이 있는데 그 사람이 머스크 만드는 모델에 합류함
이미 수학계산용 모델은 허깅페이스에 올라와있던데?
기존 LLM + 수학적 데이터 추가해서 파인튜닝
순수 수학 쪽이 컴퓨터 기반 데이터가 많이 쌓이지 않아서 문제 였다는 듯