[일반] 숄체가 증명검증 Ai한테도움받앗다네
익명(14.37)
2021-12-11 15:22
추천 2
댓글 5
다른 게시글
-
카테시안 곱 질문.. [6][일반] 이오니(rourkeruiz) | 21.12.11추천 0
-
고등학교 수학에 너무 많은 시간을 쏟는 듯한 느낌... 어떻게 생각하세요 [12][일반] 익명(134.121) | 21.12.11추천 3
-
개빡머갈 고유벡터 간단 질문좀 [3][대학교이상] 익명(14.33) | 21.12.11추천 0
-
LyX이 갑자기 조판을 못하길래 깜짝 놀람[일반] 익명(116.41) | 21.12.11추천 1
-
벡터 회전발산문제 질문 [3][대학교이상] 익명(116.41) | 21.12.11추천 0
-
갈루아 씨발 존나어렵네 [4][대학교이상] 익명(tanaka1005) | 21.12.11추천 7
-
닫힌구간에서 함수의 곡선길이가무한할수잇음? [6][일반] 익명(118.235) | 21.12.11추천 0
-
대수학 교재 추천좀 [1][일반] 익명(223.39) | 21.12.11추천 0
-
대수학의 기본정리 대수적으로 증명하는거 많이 어려움? [20][일반] 이오니(rourkeruiz) | 21.12.10추천 0
-
그린정리문제 질문 [5][대학교이상] 익명(116.41) | 21.12.10추천 0
Homotopy type theory인가? 들어만 봤는데...
와우
손가락이나 빨아야지
카이는 수리과학과인데
이거 AI가 아니라 증명보조 프로그램일텐데?