Вчора я переступив цікавий поріг, який, думаю, останнім часом переступають і багато інших математиків. Намагаючись довести результат, я визначив твердження, яке виглядало правдивим і яке, якщо воно було б правдивим, було б корисним для мене. 1/3

Замість того, щоб намагатися це довести, я попросив про це GPT5, і приблизно за 20 секунд отримав доказ. Доказ спирався на лему, про яку я не чув (твердження трохи виходило за межі моїх основних областей), тому, хоча я впевнений, що в підсумку дійшов би, 2/3

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

PS Якщо хтось хвилюється, що це лема, про яку я не чув, я перевірив, що лема не була галюцинацією.