[2]
집으로와하마개 | 19:40 | 조회 303 |보배드림
[2]
여우타기빠가 | 19:34 | 조회 692 |보배드림
[7]
지오메트리 | 19:33 | 조회 684 |보배드림
[1]
여우타기빠가 | 19:31 | 조회 248 |보배드림
[0]
자주국방통일한국 | 19:30 | 조회 297 |보배드림
[8]
우룰 | 19:17 | 조회 578 |보배드림
[4]
무적광개토 | 19:17 | 조회 70 |보배드림
[36]
| 19:52 | 조회 0 |루리웹
[5]
팔딱팔딱불고기 | 19:17 | 조회 1559 |보배드림
[7]
Edit™ | 19:44 | 조회 54 |SLR클럽
[5]
무적광개토 | 19:11 | 조회 730 |보배드림
[4]
| 19:38 | 조회 0 |루리웹
[7]
[라이젠] | 19:54 | 조회 82 |SLR클럽
[9]
시간여행자 | 19:32 | 조회 439 |SLR클럽
[19]
루리웹-5500175318 | 19:51 | 조회 0 |루리웹
100%까지 끌어올려 난리날때 오겠습니다
리만가설이 풀리면 다이슨스피어 만들 수 있나요
나중에 증명했다고 선언해도
검증하는데 한세월일듯
검증은 컴퓨터가 자동으로 함
(Lean이라는 언어가 있어서, 이 언어로 증명을 작성하면, 자동으로 논리적 오류를 잡아줌)
AI : 인간놈들아 그만 괴롭혀(문제 해결을 67프로까지 진행시켰습니다)
몇 몇 구간만 돌파해줘도 괴수들 중 누군가가 해결해주겠지..
나중에 다 풀리고 한줄요약되면 다시 만나자
한줄? 너무해에!!!!!!!
진짜 몰라서 그런데 애초에 41.6%랑 67.2%는 어떻게 나온 수치임? 뭔가 체크리스트 완료도 같은 건가?
소수의 분포에 뭔가 규칙성이 있나? 없나? 가 리만 가설이니까 규칙성이 있을거 같다, 없을 거 같다 확률이 67%까지 올라갔다고 보면 됨
아직 안 풀린 난제 풀이가 진행률 n%로 표기할 수 있다는게 더 신기한데