딥시크랑 과제할때 copilot 많이 씀


딥시크

- 수식 다루는 건 거의 신의 경지임. 단순히 식 전개를 잘하는 거에서 끝나지 않고, 수식에서 패턴을 뽑아내서 활용하는 걸 정말 잘 함. 이 부분은 어느 인간 수학자보다도 잘하는 것 같음


기존 매쓰매티카 같은 프로그램이 (x-2)(10x-3)(3x-17) 이런 복잡한거 걍 빨리 계산해주는 거 정도에 의의가 있었다면


딥시크 같은 AI는 

1/(1+a+ab) + 1/(1+b+bc) + ... 뭐 이런 거 보고 단순무식하게 전개 때리는게 아니라 아! abc = k로 치환하면 변의 길이를 a,b,c로 가지는 삼각형의 반지름이 k네요~ 뭐 이런거 정말 빠르게 캐치해냄. 진짜 잘함.


- 증명은 개못함. 좀 LLM 티가 나야 한다고 해야하나.. 결론을 딱 정해놓고 중간에 다리를 어거지로 잇는데 단순한 거 아니면 보통은 틀리더라


코파일럿

솔직히 딥시크가 수학 더 잘하는데 레이텍 수식편집기 식전개 자동완성 딸깍이 너무편함 ㅎ


결론 : 논증만 좀 잘하면 충분히 인간수학자 능가할듯?