> Yes. And since LLMs can not improve knowledge

1. GPT proved Erdős Unit Distance Conjecture entirely on its own

2. GPT-5.4 Pro Solves Erdős Problem #1196 (April 2026)

In fact there's a whole benchmark that's measuring this: https://epoch.ai/frontiermath