11 üst düzey matematikçi, yapay zekâya bir haftada çözmesi için 10 özgün lemma verdi. OpenAI dahil birçok ekip denedi. İşte “First Proof” meydan okumasının dikkat çeken ayrıntıları.
Kimilerimiz için dakikaların nasıl geçtiğini anlayamadığı bir kavram olsa da çoğumuz için dehşetli bir hayaldir matematik. Binlerce yıldır hayatımızın her yerindedir ve ondan kaçmak mümkün değildir. Pekala matematik dediğimiz şey, bir icat mı yoksa bir keşif midir?