Google Antigravity ajanları 90 yıllık matematik problemini çözdü, yazılımı yeniden yazdı
Google, Gemini modelleriyle çalışan Antigravity çoklu ajan sistemini genişlettiğini duyurdu. Sistem, Weil varsayımlarının Lean'de formalizasyonu ve Navier-Stokes denklemlerine ilişkin bir ispatın yeniden üretimi gibi sonuçların yanı sıra libgav1 kod çözücüsünün C++'tan Rust'a yeniden yazılmasını sağladı. Google, Teamwork ve /boost iş akışlarını Antigravity üzerinden erişime açtı; 10.000 akademik a
