|
|
|
|
|
|
인공지능 기계학습 딥러닝
수학, 인공지능, 그리고 형식화 [2]: 증명의 형식화와 인공지능
이시우
LLM이 등장한 이후 수학 난제를 증명했다는 주장은 눈에 띄게 증가했고, 수학자들이 논문 초고를 업로드하는 아카이브에도 해당 분야 전문가가 보면 바로 "AI slop"임을 알 수 있는 증명들이 점점 늘어나고 있습니다. 점점 더 "그럴듯하게" 쓰인 증명들이 늘어나는 상황에서, 이를 검증할 수 있는 방법이 있으면 참 좋을 것 같지 않나요?
Read more
|
|
|
|
|
|
|
HORIZON은 고등과학원이 발간하는 과학전문 웹진으로 최신 과학의 뛰어난 성과들을 전달하고자 합니다.
|
기존의 미디어에서 전달하지 않은 깊이와 학술적인 논문에서 펼치지 못하는 범위의 영역을 탐사해 보고자 합니다.
|
|
02455 서울특별시 동대문구 회기로 85 | Tel. 02-958-3711 | horizon@kias.re.kr
|
|
|
|
|
|
|
|
|
