Математики: передовые ИИ-лаборатории должны публиковать настоящие доказательства, чтобы мы могли их проверить, а не п...
Математики: передовые ИИ-лаборатории должны публиковать настоящие доказательства, чтобы мы могли их проверить, а не посты в блогах. OpenAI: ладно. Вот 722 статьи, объединённые в 372 результата - https://github.com/openai/math Их подготовила новая внутренняя модель, которую пока…