ИИ-модель OpenAI решила задачу Эрдеша, над которой бились 80 лет
tech.onliner.by«OpenAI заявляет, что ее новая модель рассуждений создала оригинальное математическое доказательство, опровергающее известную нерешенную гипотезу в геометрии, впервые выдвинутую Палом Эрдешем в 1946 году», — такими словами открывается материал techcrunch.
Впрочем, OpenAI не впервые делает подобное заявление. Семь месяцев назад в компании уже говорили об этом. Но тогда оказалось, что GPT-5 не решила задачу самостоятельно, а нашла уже существующие решения — представителям компании даже пришлось удалять соответствующие посты.
️ Zyphra выкатила ZAYA1-8B — маленькую MoE-модель, которая выглядит слишком бодро для своего размера
