일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | ||
6 | 7 | 8 | 9 | 10 | 11 | 12 |
13 | 14 | 15 | 16 | 17 | 18 | 19 |
20 | 21 | 22 | 23 | 24 | 25 | 26 |
27 | 28 | 29 | 30 |
Tags
- bert
- Deep learning
- 머신러닝
- Natural Language Processing
- Github Copilot
- AI
- attention
- matrix multiplication
- math
- Residual Connection
- 자연어처리
- GPT
- Data Augmentation
- Private ML
- 동형암호
- KT
- Copilot
- NLP
- Pre-training
- Knowledge Tracing
- Machine Learning
- Model Compression
- Knowledge Distillation
- Homomorphic Encryption
- 딥러닝
- Computer Vision
- Language Modeling
- 표현론
- Transformer
- ICML
Archives
- Today
- Total
목록표현론 (1)
Anti Math Math Club

저번 포스팅에서는 Copilot을 이용해서 학부 수준의 수학 문제를 푸는 AI에 대해서 소개를 했습니다. 이번에는 AI가 실제로 학부 수준을 넘어선, 연구 수준의 문제를 푸는 데에 도움을 준 케이스에 대해서 이야기하고자 합니다. (저번처럼 문제를 푼게 아니라, 푸는데에 도움을 주었다는것이 중요합니다. 제 생각에는 실제로 연구 수준의 증명을 생성하는 AI가 나오려면 최소 10년은 더 있어야 할 것 같습니다.) 보통 사람들이 생각하는 AI는 스스로 생각하고 걸어다니고(?) 사람을 지배하는(??)걸 떠올리는 경우가 많은데, 실상은 몇년 전까지만 해도 강아지와 고양이 사진을 잘 분류해내는 숫자 덩어리에 불과했습니다. 이제는 고화질의 이미지와 비디오를 만들어내고 번역도 하고 글도 쓰고 작곡도 하고... 할 수 있..
Machine Learning & Deep Learning/Others
2022. 1. 27. 12:10