퍼트넘 벤치라고 퍼트넘 경시대회 659문제 주고 그거 증명시키는거 있는데
그중에 49게 증명했다는듯
[일반] ai prover 또 나왔네
익명(115.139)
2025-05-01 07:54
추천 2
댓글 1
다른 게시글
-
수학 내신 킬러2개 어려운문제1개 나머지 안어려운문제일때[중고딩문제] 익명(14.32) | 25.05.01추천 0
-
대학수학도 증명 논리 및 아이디어 암기는 필수 맞죠? [5][일반] 제발좀자고..(course3689) | 25.05.01추천 0
-
긴급 미적분 수학 문제 풀어줄 분ㅠㅠㅠㅠ [4][중고딩문제] 익명(pine1298) | 25.04.30추천 2
-
해석학이 진짜 뭐 더 발견할게 없는 학문이냐 [4][일반] 익명(121.166) | 25.04.30추천 1
-
결합교환법칙 유한번적용의 엄밀한증명이 궁금함 [10][일반] 익명(211.234) | 25.04.30추천 0
-
수능이 쓸모없는 이유 [16][일반] 익명(116.41) | 25.04.30추천 26
-
함수f(x)에 x+2를 대입한 f(x+2)의 [3][일반] 익명(182.216) | 25.04.30추천 0
-
강체 회전운동에서 [1][일반] 익명(appear4658) | 25.04.30추천 0
-
나같은사람있음?[일반] 익명(222.108) | 25.04.30추천 0
-
수린이 궁금궁금[일반] 익명(182.226) | 25.04.30추천 2
여전히 개쓰레기던데 ㅋㅋ - dc App