11 üst seviye matematikçi, yapay zekâya bir haftada çözmesi için 10 özgün lemma verdi. OpenAI dahil birçok grup denedi. İşte “First Proof” meydan okumasının dikkat çeken detayları.