Вперше модель ШІ (GPT-5) автономно розв'язала відкриту математичну задачу, подану до нашого бенчмаркінгового проєкту IMProofBench, з повним, коректним доказом без людських підказок чи втручання. Невеликий, але новий внесок у перелічувану геометрію. Трохи передісторії: