Запис атласу: https://www.aitimeline.dev/uk/events/evt-0292/
Дослідження · 17 січня 2024 р.
AlphaGeometry
Система з мовної моделі та символьного вивідника розв'язала 25 із 30 геометричних задач Міжнародної математичної олімпіади в межах відведеного часу.
Чому це важливо
Рівень майже середнього золотого медаліста — і досягнутий без жодного людського розв'язку в навчальних даних.
Символьний вивідник виводить наслідки з умови, доки не застрягне; тоді мовна модель пропонує допоміжну побудову — додаткову точку чи пряму, — і вивід продовжується. Модель навчали на ста мільйонах синтетичних задач, згенерованих самою системою, без жодного людського доведення. Це поєднання двох традицій, які сорок років конкурували: логічний вивід дає гарантію правильності, навчена модель дає здогад, звідки почати.
Відомості про подію
- Дата події
- 17 січня 2024 р.
- Дата на часовій осі
- Дата події
- Перевірка
- Джерела зібрано автоматично · 18 вересня 2026 р.
- Лінії
- ID
- evt-0292
Стаття в Nature від 17 січня 2024 року.
Пов’язані події
Раніше
- Пов’язано AlphaDev 2023
Друга за рік система тієї самої лабораторії, що шукає розв'язок у просторі формальних кроків.
- Пов’язано AlphaZero 2017
Той самий підхід пошуку під керунком навченої моделі, перенесений із гри у формальну математику.
- Уможливлює Метод Ву: геометрія як алгебра 1978посилається на цей запис
Стаття AlphaGeometry називає метод Ву попереднім найкращим рівнем: він розв'язав 10 задач із 30, AlphaGeometry — 25.
- Уможливлює Машина Гелернтера доводить теореми геометрії 1959посилається на цей запис
Стаття AlphaGeometry називає допоміжні побудови найдавнішою темою цієї галузі від її початку 1959 року й посилається тут на Гелернтера 1959 і 1960 років.
Пізніше