Съвременните AI-модели, способни на така нареченото „симулирано разсъждение“ (Simulated Reasoning, SR) демонстрират любопитен парадокс. Те се справят с рутинни математически задачи, но се провалят на по-дълбоко ниво - при решаването на конкурентни задачи, които изискват конструирането на строги доказателства.
До...
