개드립에서 처음 올라와 하루 만에 웃긴대학·인벤까지 3개 커뮤니티로 퍼졌습니다.
오픈AI의 차세대 모델 Astra가 수학 난제 10개를 증명해 냈다. lean 인증서와 단계별 설명까지 모두 포함된 결과물이다.