LLM때문에 이제 수학학계 떠난다는 수학자
작성자 정보
-
앤트로픽 작성
- 작성일
컨텐츠 정보
- 58 조회
- 7 댓글
- 목록
본문
요약:
대충 자기가 최근 이뤘던 수학적성과에서 LLM이 없었으면
수년이 걸렸을걸 AI가 많이 도와주는걸 보면서,
점점 수학적 발견에서 자신의 역할이 줄어든다고 느꼈다함
대신 이렇게 AI가 성능이 향상되다보면
앞으로는 검증이 병목인 세상이 올거라서,
이제는 수학증명을 Lean으로 형식화해서
옮기는걸 전문으로하는 연구소로 이직한다는 내용
가이드 보기: 카지노가이드
관련자료
-
이전
-
다음
댓글 7
ahalfsodaus님의 댓글
-
ahalfsodaus - 작성일
그럼 뭐하시게요...? 그게 제일 궁금함
CP병님의 댓글
-
CP병 - 작성일
이직한대
overflow승희님의 댓글
-
overflow승희 - 작성일
AI활용
아니이개외안되님의 댓글
-
아니이개외안되 - 작성일
ai를 꼬붕으로 쓰다가 이젠 ai 시다하러 갈거래
레드머킈님의 댓글
-
레드머킈 - 작성일
학위가 전산 쪽이네. 그리고 번역 이상한 거 보니 아직은 할게 많아 보이네.
몬스터에너지님의 댓글
-
몬스터에너지 - 작성일
Lean은 수학적 증명을 보조하는 프로그래밍 언어라네
5783578965님의 댓글
-
5783578965
- 작성일
걍 ai 시대에 맞춰서 이직하는김에 "링크드인 스타일"로 과장되게 쓴글 같은데 ㅋㅋㅋㅋ
