Google'ın Gemini ajanları beş çözülmemiş matematik probleminin yeni kanıtlarını buldu