«Camera lucida» — це пристрій, який використовує призму, що утримується металевою арматурою, для проектування зображення сцени перед собою на аркуш паперу під нею, щось на кшталт сучасного проектора, підключеного до прямої трансляції камери. Ймовірно, вони були винайдені на початку 1400-х років, хоча опубліковані відомості про них з'являються лише наприкінці 1500-х років. Частково причина цього, ймовірно, полягає в тому, що вони були комерційними секретами, що ретельно охоронялися, художників, які використовували їх для досягнення такого ступеня точності, який раніше було неможливо або, принаймні, надзвичайно важко зробити без сторонньої допомоги. Художник Девід Хокні дуже зацікавився цією темою багато років тому і в 2001 році написав про це книгу. Його основна теорія полягала в тому, що значне покращення точності та реалістичності було безпосередньо пов'язане з таємним використанням камери lucida (а також більш раннього пристрою, який називався камерою-обскурою). Як він зазначив, до цього періоду ви ніколи не побачите картину лютні в перспективі, яка б не виглядала спотвореною і неправильною. У той час як ви могли використовувати «правила перспективи» для реалістичного малювання простих прямолінійних форм, більш складна геометрія лютні перевершувала звичайну людську здатність реалістично зображати в просторі. Ця теорія відома як теза Гокні-Фалько. З тих пір, як я дізнався про це в коледжі на початку 2000-х, я як би подумки наносив зірочку на роботи деяких художників. Наприклад, як би я не поважав і не захоплювався Енгром і Караваджо, мій трепет перед їхніми навичками був пом'якшений усвідомленням того, що вони, швидше за все, скористалися цим видом механічної допомоги. І, звичайно, велика частина артистизму полягає в концепції, композиції та обрамленні, кольорах, мазках фарби тощо. Але цей захоплюючий реалістичний реалізм вразив мене найбільше, і ця його частина була принаймні частково розбита цим відкриттям. Це також змусило мене ще більше поважати скульптурний реалізм Мікеланджело (а також його етюди, які явно є ескізами, зробленими з натури). У будь-якому випадку, причина, через яку я піднімаю це питання, полягає в тому, що я вважаю, що ми стоїмо на порозі того, що відбувається в галузі математичних досліджень з появою таких моделей, як GPT-5 Pro. Я вже використовував його для того, що, як я підозрюю, є справді новим і цікавим дослідженням (про що я докладно розповів у нещодавніх тредах), і ми лише сьогодні отримали оновлення від Себастьяна Бубека з OpenAI, яке показує, що модель змогла довести цікавий результат у сучасній математиці, використовуючи новий доказ, одним пострілом не менше. Отже, ця нова епоха раптово настала для нас. Минулого тижня ми побачили результат китайських комп'ютерних вчених, який побив рекорд оптимального сортування, який протримався 45 років. Тоді я розмірковував про те, як мені було цікаво, чи використовується штучний інтелект якимось чином для отримання такого результату. Також дивіться нещодавню статтю в цитованому твіті, яка має схожий характер у тому, що вона водночас дивовижна, але водночас елементарна. Мені здається, це відмінні риси результатів, які, можливо, якимось чином виграли від штучного інтелекту. Я не хочу ні в чому звинувачувати цих авторів. Наскільки я знаю, вони все робили вручну, як це робили художники в 1300-х роках. І навіть якщо вони використовували штучний інтелект, щоб допомогти їм, ми ще не маємо прийнятих звичаїв про те, як з цим боротися: які розкриття інформації є виправданими, і як кредити повинні бути розподілені та враховані. Саме поняття авторства сьогодні має бути переглянуто. У моїй нещодавній темі, де я досліджував разом із GPT-5 Pro використання теорії брехні в глибокому навчанні, я сам розробив підказки, хоча ніколи за мільйон років я не зміг би згенерувати теорію та код, які модель розробила в результаті цих підказок. Чи отримаю я заслугу за результат, якщо він виявиться революціонізувати сферу? Як щодо мого наступного експерименту, де я використовував свої оригінальні підказки, які я написав сам, разом із «мета-підказкою», щоб змусити GPT-5 Pro придумати ще 10 пар підказок, вільно змодельованих за моїми власними, але з урахуванням абсолютно різних розділів математики, які розвивалися в абсолютно різних напрямках. Чи отримую я заслуги за ці теорії, якщо вони виявляються важливими? Я дуже на це сподіваюся, тому що я вже опублікував ідеї та код на GitHub і широко оприлюднив їх, тому, якщо хтось дотримується цих напрямків дослідження, академічна етика вимагатиме від них цитувати мене. Але навіть якщо ви думаєте, що я заслуговую на похвалу за те, що керую штучним інтелектом за допомогою власної підказки, то, безумовно, мої претензії на пріоритет дещо ослаблені щодо 10 інших теорій, які є результатом використання мого підказки як моделі для мета-підказок, чи не так? Зрештою, ще кілька днів тому я навіть не знав, що «тропічна геометрія» — це річ, але тепер у мене є теорія та код, який застосовує її до досліджень штучного інтелекту. Я б стверджував, що так само, як я почав подумки застосовувати зірочку до певних творів мистецтва та художників, схожу на зірочку поруч з ім'ям Баррі Бондса в Залі слави, я підозрюю, що більшість вчених почнуть робити те ж саме з будь-якими новими роботами, заснованими на математичній теорії, в наступному році або близько того. Я підозрюю, що досить скоро люди скажуть щось на кшталт: «Цей хлопець – справжня справа; він написав свої найкращі роботи до 2025 року!», щоб розрізняти тих, хто виконував усю свою роботу вручну, використовуючи власний мозок, і тих, хто користувався допомогою штучного інтелекту. І це абсолютно правильний спосіб думати про речі, якщо штучний інтелект здатний не тільки відповідати на складні теоретичні проблеми, але навіть ставити цікаві питання самостійно. Якщо я правий, ми повинні готуватися до майбутнього цунамі шокуючих наукових робіт, які б'ють багаторічні рекорди та обмеження і розбиваються об стіни, які довгий час вважалися відносно непроникними, якщо не вистачити якоїсь проривної теорії. І я вірю, що багато з цих результатів матимуть дещо спільне: вони завжди були прямо перед нами, але вимагали поєднання теорії з різних областей математики та прикладних предметів новими способами, які раніше не використовувалися через людські, соціологічні причини: різні галузі, розщеплені за лініями, з різною термінологією, журналами, практиками, кафедри, конференції, соціальні мережі і т.д. Інша форма, яку я підозрюю, приймуть ці результати, полягає в тому, щоб використовувати елементарні результати дивними способами, які з якихось причин не є природними для людського мозку, але які ми можемо зрозуміти, як тільки вони будуть чітко пояснені для нас. Іншою формою, яку вони можуть прийняти, є результати, які використовують давно забуту езотерику з аналізу кінця 19-го століття. Ті хитрощі, які дозволили Фейнману вирішувати інтеграли, які ніхто інший не міг вирішити. Ці результати відомі і існують в книгах, але ці книги вже ніхто не читає, а оригінальні теорії, для яких вони були розроблені, в значній мірі витіснені нашою сучасною технікою, яка працює на багатьох рівнях підвищеної абстракції і загальності. Інша форма, яку вони можуть прийняти, — це просте застосування відомої математики, яку розуміють лише кілька сотень спеціалізованих геніїв у світі, які зосереджуються лише на теорії, а зовсім не на додатках. Ця математика, можливо, просто «лежала без діла» з 1950-х або 1970-х років, чекаючи, поки хтось застосує її до практичної проблеми, наприклад, у дослідженнях штучного інтелекту. Багато ідей, які я досліджував за допомогою GPT-5, здається, підпадають під цю категорію.