보니깐

1. Ai 딸깍으로 하는거 연구하는 쪽

2. 순수 수학으로 하는 쪽

두개로나뉘는거같은데

2하는 사람은 ㄹㅇ 뭐어떻게하는거임?

1은 ai에게증명맡기는거연구라서 뭐어떤건지이해가는데

2는 대체 무엇을 연구하고있는 거임?

찾아보니까 뉴욕대 철학과 교수가 연구하고 이러노

Reverse math라고 증명된 수학명제에 쓰이는 공리들이
어떤 필요충분한 공리들만 필요한지 탐구하는 분야도잇던데


- dc official App