Yapay zekâ matematikte ispat arıyor, görsel düzenlemede zorlanıyor

Özet

Science dergisinde yayımlanan bir çalışmada, bir yapay zekâ ajanı Lean derleyicisinin denetlediği biçimsel ispatlarla 353 açık Erdős probleminden 9'unu çözdü. Hakem denetiminden geçmemiş bir ön baskıda 58 görsel düzenleme yaklaşımı yeni bir akıl yürütme testinde sınandı; en iyisi yüzde 56,6 doğrulukta kaldı. American Journal of Psychiatry'deki bir derlemeye göre psikiyatride yapay zekâ destekli uyarlanabilir beyin uyarımı için klinik kanıt şimdilik küçük kavram kanıtı çalışmalarıyla sınırlı.

Kaynaklar

1. Tsoukalas ve ark. (2026). Advancing mathematics research with AI-driven formal proof search. Science.

   DOI: 10.1126/science.aej2213

2. Yang ve ark. (2026). Reasoning-Informed Visual Editing. arXiv (ön baskı).

   DOI: 10.48550/arxiv.2610.12343

3. Mahmoudi (2026). Artificial Intelligence as the Computational Framework for Adaptive Closed-Loop Neuromodulation in Psychiatry. American Journal of Psychiatry.

   DOI: 10.1176/appi.ajp.20260137