ИИ здорового человека

Dec 16, 2024 08:49

Написал "ии" в заголовке, мне т9 отЖЖ исправил на Иисус ( Read more... )

Ии рулит

Leave a comment

Comments 9

kharoozo December 16 2024, 09:22:37 UTC
По сути не изменится ничего.

Reply

sspr December 16 2024, 10:22:23 UTC
Человек мало меняется, соц. институты выстраиваются вокруг него, появление электричества, ДВС. интернета и вот ии, действительно не поменят ничего

Reply

kharoozo December 16 2024, 10:32:14 UTC
И не надо ))))

Reply

sspr December 16 2024, 14:36:56 UTC
По Вашим ссылкам прочел немало книг я, спасибо!

Reply


amin_abu_kitab December 17 2024, 13:34:51 UTC
А что в этом такого? Такой результат разве не следует автоматически из эквивалентности компьютерной программы и доказательства?

Reply

sspr December 17 2024, 15:55:31 UTC
Да это норм, покойный Воеводский, математик с филдсовской медалью программу автоматических доказательств пытался поднимать, наработки были, но не вывез

Reply

amin_abu_kitab December 17 2024, 20:13:33 UTC
Воеводский крутой был, это да. Чокнутый на всю голову (в хорошем смысле). Однако мне кажется что задача автоматизации доказательств сильно сложнее, чем проверка на ошибку. Нет?

Reply

sspr December 18 2024, 05:21:27 UTC
Скилы мои в этом всем невелики есть, ощущения, в основном. Задача сложнее, но мода на "обьяснение каждого шага" ( o1 и другие) может приведет к схеме, когда новые основные свойства и мат обьекты люди математики придумают, а ии полностью достроит все доказательства рядом, может контримеры найдут ;)

Reply


Leave a comment

Up