#erdos-problem와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
Anthropic의 Claude Mythos가 OpenAI가 해결했던 Erdős 수학 문제를 단순하고 명쾌한 증명 방식으로 해결했다.
OpenAI 모델이 80년 난제였던 discrete geometry 추측을 반박했다.
GPT-5.4 Pro가 Erdős의 primitive set 문제를 새 증명으로 풀었다.
AI Briefing