Як насправді працюють AI-розв'язувачі математики і чому найкращі використовують два рушії

Якщо чатбот, розв'язуючи довгий інтеграл, помиляється на арифметиці десь посередині, це не випадковий збій. Інструмент, який упевнено дає неправильну відповідь, гірший за той, що відкрито зізнається в невдачі, тому точні розв'язувачі розв'язують цю проблему самою конструкцією.

Перший етап: як задача потрапляє в систему

Розв'язувачі з камерою починають з OCR, налаштованого на математичні позначення. Друковані задачі з підручника розпізнаються з високою точністю, а от рукописний текст це інша історія: точність коливається приблизно від 80 до 95 відсотків залежно від інструменту й автора, а дроби, показники степеня й вкладені вирази страждають найчастіше.

Небезпека цього етапу в тому, що помилки тут тихі: неправильно прочитаний показник степеня не викликає повідомлення про помилку, він дає коректний розв'язок зовсім іншої задачі. Тому хороші застосунки показують розпізнаний вираз до розв'язання. Сюжетні задачі, введені текстом, проходять через шар природної мови.

Другий етап: обчислення в CAS

Саму математику найкраще виконує система комп'ютерної алгебри. CAS перетворює символьні вирази за правилами: розкладає на множники, спрощує, диференціює, інтегрує та точно розв'язує рівняння. Wolfram Alpha працює на Mathematica, а багато інших інструментів використовують рушії з відкритим кодом, як-от SymPy. Головне те, що CAS не вгадує: він або застосовує чинне правило, або зазнає невдачі.

Третій етап: пояснення від LLM

CAS погано вміє пояснювати себе так, щоб це було зрозуміло учневі, і так само погано дає раду з неохайною мовою сюжетних задач. Тут сильні великі мовні моделі: вони називають застосоване правило, пояснюють, чому воно працює, і витягують математику з абзацу про два потяги, що вирушають із двох станцій.

Якщо ж доручити LLM самі обчислення, він стає слабкою ланкою. Модель передбачає текст, тому на довгих багатокрокових розрахунках вона часом губить знак або застосовує не ту формулу посередині. Моделі, орієнтовані на міркування, звузили цю прогалину, але на задачах із великим обсягом обчислень усе ще поступаються CAS.

Гібридна конструкція і перевертання точності

Тому найсильніші розв'язувачі ділять роботу: CAS дає правильну відповідь, а LLM пояснює, як до неї дійшли. Спеціалізовані застосунки, як-от Photomath, Mathway і Symbolab, правильно розв'язують стандартні підручникові задачі у 90-98 відсотках випадків і перемагають чатботів на чистих рівняннях, а на сюжетних задачах рейтинг перевертається.

Практична порада для тих, хто створює математичний продукт, така: тримайте обчислення й пояснення в окремих компонентах і ніколи не дозволяйте мовній моделі робити арифметику, яку CAS виконає точно. Безкоштовні варіанти (Microsoft Math Solver, GeoGebra і безкоштовні тарифи чатботів) добре покривають стандартну програму.