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

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

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

PS На случай, если кто-то беспокоится, что использовалось лемма, о которой я не слышал, я проверил, что лемма не является галлюцинацией.