openaiматематикаAGI
OpenAI заявила о решении 6 из 10 задач First Proof — математики сомневаются
Внутренняя модель OpenAI якобы решила 6 фронтирных математических задач проекта First Proof. Но независимые эксперты уже нашли дыры в доказательствах.
8 мин