Протягом десятиліть математики непомітно покладаються на штучний інтелект для вирішення складних завдань, що дає важливий урок іншим областям, що стикаються зі зростаючим впливом ІІ. Історія цієї області показує, що прийняття результатів, згенерованих машиною, навіть якщо вони є незадовільними, може призвести до проривів.
Теорема про чотири фарби і світанок обчислювальних доказів
У 1976 році Кеннет Аппель і Вольфганг Хакен приголомшили математичний світ доказом теореми про чотири фарби. Ця теорема стверджує, що будь-яку карту можна розфарбувати лише чотирма кольорами таким чином, щоб ніякі сусідні регіони не мали однакового відтінку. Проте доказ був елегантним: він складався з 60 000 рядків комп’ютерного коду.
Команда запрограмувала машину для систематичної перевірки майже 2000 можливих конфігурацій карт, охоплюючи кожен потенційний сценарій. Результат був технічно вірним, але багатьом математикам він здався … незадовільним *. Доказ втратив інтуїтивну елегантність, на яку вони очікували, не розкриваючи глибшого математичного принципу.
Адаптація до машинної логіки
Згодом співтовариство адаптувалося. Математики визнали, що хоча метод і не був красивим, він був ефективним. Це ухвалення проклало шлях для сучасних ІІ-керованих доказів. Сучасні великі мовні моделі тепер обробляють кодування, а окреме програмне забезпечення перевіряє результати, усуваючи побоювання щодо «галюцинацій» ІІ (сфабрикованих вихідних даних).
Контраст за межами академічного середовища
Це різко контрастує з іншими галузями, де ІІ-генерований код часто зазнає краху. Gartner прогнозує, що половина компаній, що замінюють робочі місця ІІ, повторно наймуть співробітників на ті самі посади протягом року, що говорить про передчасність багатьох впроваджень.
Досвід математиків показує нам, що ІІ — це не тільки заміна людей, а й розширення їх можливостей. Успіх цієї галузі залежить від довіри до відповідей, підтверджених машиною, навіть якщо процес не є інтуїтивним.
Світ за межами математики, можливо, ще не готовий, але урок зрозумілий: практична довіра та філософський комфорт від результатів ІІ необхідні для прогресу.
