Tim Gowers: LLM이 잘하는 수학은 무엇인가?

Tim Gowers: What sort of maths are LLMs good at?

OpenAI가 비소픽 군의 최초 구성과 다색 Ramsey 수의 초지수적 증가 등 수학 및 이론 컴퓨터 과학의 주요 문제 10개를 해결했다고 발표한 직후, Tim Gowers는 LLM이 현재 어떤 종류의 수학 문제에 강한지 분석합니다. 그는 특히 반례를 찾는 데 강점이 있다는 가설을 검토하며, '반례'의 정의를 명확히 하고 Vinogradov의 정리와 Gluskin의 정리를 비교하여 논리적 형식이 아닌 문제의 본질이 중요하다고 주장합니다.