AlphaEvolve
DeepMind поєднала мовну модель із автоматичним перевірником і еволюційним відбором — і система знайшла спосіб перемножити комплексні матриці 4×4 за 48 множень замість 49.
Чому це важливо
Рекорд, що тримався з 1969 року, впав — і його зняла не людина, а програма, яка пише й відбраковує програми.
Спосіб Штрассена 1969 року давав 49 множень, і півстоліття ніхто не зробив краще. Тут мовна модель породжує варіанти коду, автоматичний оцінювач їх перевіряє, кращі стають основою для наступного покоління варіантів. Ключ у перевірнику: він робить здогади моделі безпечними, бо неправильне просто не проходить. Систему застосували й до інженерних задач усередині Google — планування навантаження в центрах обробки даних, спрощення схем — де вона дала вимірюваний виграш.