Математическа и човешка интуиция (Mathematical Intuition)

Математическата интуиция е когнитивната способност за съзиране на неочевидни закономерности, структурни аналогии и концептуални връзки преди тяхното формално математическо доказване.

В ерата на автоматизираното доказване на теореми изследователите дебатират дали изкуственият интелект може да развие истинска интуиция за математическа елегантност или остава чисто комбинаторен изчислител.