формализация математики.

Как DeepSeek создает новые (мета)математические теории

Вместо краткого введения. Активно использую в работе DeepSeek уже чуть больше двух недель, очень доволен им и в целом продуктивность и скорость работы выросли. Но рассказать хотелось бы не об этом, точнее, не совсем об этом.

Рейтинг@Mail.ru
Rambler's Top100