OpenAI впервые использовала ИИ для решения гипотезы Эрдели 1946 года
OpenAI объявила о прорыве в математике: искусственный интеллект компании самостоятельно создал новое математическое доказательство, опровергнув гипотезу, сформулированную известным математиком Полем…