Вчера интернеты облетела новость, что гуманитарии пишут себе дипломы в GPT. А что там у математиков ? У математиков очень давно существует язык Prolog, на котором можно как автоматически доказывать теоремы, так и генерить новые на основе существующих. И были даже многочисленные попытки ИИ придумать новые теоремы настоящей нешкольной Алгебры. Придумывать он их придумывал и массово и они даже были верные. Однако, что теоремы значат и куда их применить, учёные долго думали. Я слышал, что пару всё-таки взяли в оборот, но в целом подход не взошёл.
Что до стартовой темы, то уверен, что студента ща покарают злые люди из РГГУ, а потом сами откроют GPT и начнут писать никому ненужные статьи в никому ненужные журналы. Ссылаться друг на друга и страшно смеяться над наивной молодостью.
Представьте себе высокоуровневый язык, в котором не нужно указывать КАК получить результат, вместо этого нужно просто указать ЧТО вы хотите получить. При этом об...