Обложка канала

Data is data

Канал о данных, фактах, визуализации. Немного математики, историй с лёгкими оттенками machine и deep learning.

Data is data

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

Представьте себе высокоуровневый язык, в котором не нужно указывать КАК получить результат, вместо этого нужно просто указать ЧТО вы хотите получить. При этом об...

Хабр