챗봇이나 생산성 앱 말고, 지난 3년간 삶을 바꿀 만한 게 나온 게 있나?

흥미롭네. 좀 더 자세히 말해줄 수 있음? 완전히 미해결된 어려운 수학 문제들이었음? 아니면 다른 거였나?

그가 말하는 내용에 대한 좋은 참고 자료임.

다른 분야와 마찬가지로 수학에서도 유용함. 사람이 읽는 것보다 훨씬 빠르게 기존 연구를 훑어볼 수 있으니까. 널리 인용된 에르되시 문제도 사실 다른 문제의 기존 해결책을 활용한 거였음. 특정 방법으로 풀려던 문제였는데 AI가 다른 방법이 더 합리적이라는 걸 찾아낸 거지. 멋진 이정표긴 하지만, 해결책이 이미 존재했다는 점에서 약간 '운'이 좋았던 거임.

사실 틀렸음: 원시 집합과 폰 망골트 연쇄: 에르되시 문제 #1196 등 https://arxiv.org/pdf/2605.00301 가워스: '단위 거리 문제의 해결이 AI 수학의 이정표라는 데는 의심의 여지가 없음. 만약 인간이 이 논문을 써서 수학 연보에 제출했고 내가 검토를 요청받았다면, 주저 없이 게재를 추천했을 거임. 이전의 어떤 AI 생성 증명도 이 정도 수준에 근접하지 못했음.' 치머만: '이건 진짜...'

ChatGPT한테 수치적 방법을 제안하라고 하면 실망스러운 결과가 나오는 건 동의함. 하지만 내 경우엔 Pro 모델이 이산화 문제의 최소화 존재성이나 감마 수렴을 통한 연속 최소화로의 수렴 같은 수치 해석 인접 이론을 증명해 내긴 했음.

난 증명보다는 주로 응용/구현 쪽이라 증명을 많이 하진 않는데, 저번에 증명해달라고 했을 땐 재앙이었음. Pro 모델을 써보고 싶긴 한데, 돈 쓸 정도는 아님.

그건 부정할 수 없지. 난 주로 자동차, 의료, 우주, 로봇, 화학, 수학 등 다른 산업 쪽을 더 보고 있었음.