İlk kez, bir yapay zeka modeli (GPT-5), IMProofBench kıyaslama projemize sunulan açık matematik problemini, insan ipucu veya müdahale olmadan tam ve doğru bir kanıtla otonom bir şekilde çözdü. Sayım geometrisine küçük ama yenilikçi bir katkı. Biraz arka plan: