Poprvé AI model (GPT-5) autonomně vyřešil otevřený matematický problém předložený do našeho benchmarkingového projektu IMProofBench, s úplným a správným důkazem, bez lidských nápověd či zásahů. Malý, ale nový příspěvek k enumerativní geometrii. Trochu pozadí: