N-Hub. Нейросети и ИИ. Нейро новости. Технологии
IT и технологии · 8 августа 2026 г.
🔥 Astra от OpenAI: ИИ решил 10 нерешаемых математических задач!
🔥 Astra от OpenAI: ИИ решил 10 нерешаемых математических задач! 🔹OpenAI заявила, что её экспериментальная модель Astra нашла решения для 10 открытых задач в математике и информатике — некоторые из них не могли решить десятилетиями. Достижения: 🔸построена первая явная несофическая группа; 🔸опровергнута гипотеза жёсткости Конна; 🔸доказана квантовая теорема о параллельном повторении; 🔸подтверждена гипотеза Эрхарта об объёме; 🔸улучшена оценка плотности упаковки сфер (впервые с 1978 года). Как это работает: человек задаёт задачу на языке Lean, Astra строит доказательство, а система автоматически его проверяет. Все результаты и верифицированные доказательства OpenAI выложила в 249‑страничном отчёте на GitHub. При этом ключевую роль играли люди — они ставили задачи и готовили публикации. Математическое сообщество ещё должно детально проверить результаты. ➡️Присоединяйтесь к нам на Дзене – N-Hub: обзоры нейросетей, личный опыт и лайфхаки