Впервые модель ИИ (GPT-5) самостоятельно решила открытую математическую задачу, представленную в нашем проекте по оценке IMProofBench, с полным и правильным доказательством, без человеческих подсказок или вмешательства. Небольшой, но новаторский вклад в перечислительную геометрию. Немного предыстории: