ポール・エルデシュが提起した、最も伝説的な数学の問題の一部が、LLMによって解決されつつある。