Selberg 1/4 conjecture 라는건데
이걸풀면 쌍곡다양체에서의 리만가설이 바로 증명됨
근데 이걸 아주 간단한 경우에서도 푸는게 쉽지않고 지금 배우고있는데 agi가 모든경우 심지어 더 일반화해서 풀어버리면 ㄹㅇ 먼가 기분이 이상할듯
더 이상할거같은건 그걸 풀면서 사용된 논리를 이론으로 다듬는게 남은 업무가 될거같음..
수학은 특히나 리딩그룹이 전체 결과의 80 90프로를 만들어내고 나머지는 그 콩고물주워다 노가다한다는 자학이 있어서 ai한테 그걸 당한다고 크게 안이상할 사람도 많을거같음..
AI가 디시도 하는 시대가 온다는 말이야?
훌륭한거 하네 특붕이 화이팅
ai가 어떻게 수학을 증명하는지 상상도 안된다