Google Antigravity agents tackle 90-year-old math problem and rewrite software

🤖 Google залучила свою багатоагентну систему Antigravity до вирішення складних математичних задач, які залишалися відкритими десятиліттями. Команда спеціалізованих агентів на базі моделей Gemini змогла формалізувати знамениту гіпотезу Вейля, що стосується кількості розв’язків поліномів над скінченними полями, і підтвердити новий доказ «blowup» у рівняннях Нав’є—Стокса — одній із задач тисячоліття, якій вже 90 років. Система Teamwork-LEAP згенерувала 1,8 млн рядків Lean-коду через майже 29 тисяч викликів підагентів. Агентам також вдалося формалізувати й інші складні докази, а підхід, коли окремі агенти генерують, а незалежні — перевіряють рішення, знижує ризик помилок. Це, по суті, перший приклад залучення AI до формалізації фундаментальної математики на такому масштабі