Google, Gemini 4 ile bir matematiksel hipotezi çözdü

Google araştırmacıları, temel problemleri çözmek için Gemini 4 modelleriyle birlikte Antigravity's /teamwork çoklu ajan sistemini kullandı. Bu sistem, bilgi teorisindeki uzun süredir devam eden bir hipotezin kanıtlanmasına yardımcı oldu.

Çalışma sırasında algoritmalar, 2013 tarihli Courtade-Kumar hipotezinin kanıtlanmasıyla başarıya ulaştı. Bunun yanı sıra sistem, optimizasyon, kuantum hesaplama ve algoritmalar alanındaki bir dizi açık problemi de başarıyla çözdü.

Proje, karmaşık bilimsel araştırmalar yürütürken ve daha önce otomatik sistemler için çözülemez olduğu düşünülen problemleri çözerken çoklu ajan iş akışlarının pratik etkinliğini göstermektedir.