1 год назад
Автоматическое доказательство теорем. Уже возможно!!!
😧ИИ в математике набирает обороты, мы как то уже писали что в израильском университете технион предложили использовать ии для поиска новых теорем и систем диференциальных уравнений. Вот вам новиночка теперь уже про топологию. В работе упоминается и Сринивасса Рамануджан и Свинертон Даер и Берч. 👍Что объединяет их всех читаем статью. Спойлер они замахнулись на узлы в топологии, одной из ключевых фигур это как попытаться обьяснить что такое нуль. Вообщем круто. В чем плюс такого похожа он позволяет проводить множество экспериментов прям налету...
137 читали · 3 года назад
Искусственный интеллект. 2 пути развития
Прежде чем рассматривать проблему искусственного интеллекта (ИИ), необходимо разобраться в понятиях: что есть интеллект, что такое мышление и может ли машина мыслить. Под интеллектом в настоящее время понимается операционная способность к мышлению. Это не знания, которыми обладает человек, а именно способность к оперированию ими. Мышление – есть реализация этой способности, своего рода интеллект в действии. Знание имеет информационную природу, представленную в соответствующих кодах человеческого мозга...