AlphaEvolve

DeepMind поєднала мовну модель із автоматичним перевірником і еволюційним відбором — і система знайшла спосіб перемножити комплексні матриці 4×4 за 48 множень замість 49.

Чому це важливо

Рекорд, що тримався з 1969 року, впав — і його зняла не людина, а програма, яка пише й відбраковує програми.

Спосіб Штрассена 1969 року давав 49 множень, і півстоліття ніхто не зробив краще. Тут мовна модель породжує варіанти коду, автоматичний оцінювач їх перевіряє, кращі стають основою для наступного покоління варіантів. Ключ у перевірнику: він робить здогади моделі безпечними, бо неправильне просто не проходить. Систему застосували й до інженерних задач усередині Google — планування навантаження в центрах обробки даних, спрощення схем — де вона дала вимірюваний виграш. Ернест Девіс із Нью-Йоркського університету зауважив 2 червня 2025 року, що ці 48 множень — комплексні: одне комплексне множення потребує трьох дійсних, тож для дійсних матриць метод вимагає від 50 до 144 дійсних множень, що, на його думку, зменшує практичне значення результату.

Відомості про подію

Дата події

14 травня 2025 р.

Дата на часовій осі

Дата події

Перевірка

Джерела зібрано автоматично · 18 вересня 2026 р.

Лінії

ID

evt-0327

Оголошення від 14 травня 2025 року.

Джерела

першоджерело AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms
Google DeepMind · Опубліковано травень 2025 р.
вторинне Some comments on AlphaEvolve
Ernest Davis, Department of Computer Science, New York University · Опубліковано 2 червня 2025 р.

Пов’язані події

Раніше

Пов’язано AlphaGeometry 2024
Знову пара: модель пропонує, перевірник відсіює.
Розвиває AlphaDev 2023
Та сама задача пошуку кращого алгоритму, тепер із мовною моделлю замість навчання з нуля.
- AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms · Google DeepMind

Пізніше

Пов’язано Co-Scientist: система гіпотез у Nature 2026посилається на цей запис
Раніша система тієї ж лабораторії, що поєднує мовну модель із автоматичним оцінювачем; Co-Scientist генерує гіпотези для перевірки в лабораторії, а не програми для автоматичного оцінювача.
- Accelerating scientific discovery with Co-Scientist · Nature (Springer Nature)
Пов’язано ERA: ШІ пише наукове програмне забезпечення 2026посилається на цей запис
Стаття називає AlphaEvolve серед споріднених систем і порівнює свій підхід із пошуком деревом «за духом схожим», але з дослідженням ідей, потрібним для наукових задач.
- An AI system to help scientists write expert-level empirical software · Nature (Springer Nature)
Пов’язано Перші геноми, спроєктовані моделлю 2026посилається на цей запис
Та сама схема: модель породжує кандидатів, перевірка відсіює — але перевіркою тут є життя.