ended4월 26일· 1 sources
ChatGPT를 활용한 아마추어가 Erdős 문제를 풀다
Why it matters
This event marks a significant milestone where an LLM (GPT-5.4 Pro) solved a long-standing Erdős conjecture by overcoming human 'mental blocks' and employing unconventional mathematical connections. It demonstrates the potential of AI with Extended Thinking to serve as a creative partner in pure science, moving beyond simple information retrieval to true problem-solving in complex fields like Number Theory.
1
Sources
+0
24h
—
Growth
148d
Active
Erdős conjectureGPT-5.4 ProExtended ThinkingPrimitive setNumber TheoryAI-assisted proof