ForkLog AI

🧮 OpenAI опубликовала доказательства для десяти математических задач, которые оставались открытыми как минимум с 2016 года. Решения получила внутренняя версия Astra — следующей крупной модели компании. Среди результатов — конструкция, доказывающая существование несофических групп: этот вопрос математики не могли закрыть с 1999 года. Все сертификаты и записи рассуждений выложены в открытый доступ, а токенов на поиск ответов ушло примерно на $2000 по тарифам API. При этом «задачи тысячелетия» Astra не поддались. Новости | AI | YouTube