R

RAG | Нейросети | ИИ | AI | Агенты | Genie 4 | Grok 4.7 | Muse Spark Open | Llama 4 Scout | GLM 5.3 Flash | GPT-6 Astra | RTX Spark | World Models | Grok Voice 3.0 | DeepSeek V4.1 | Mistral Voxtral 3

IT и технологии · 1 августа 2026 г.

Открыть канал в MAX

Astra — внутренняя модель OpenAI для научных рассуждений. До публичного API далеко, но ...

Astra — внутренняя модель OpenAI для научных рассуждений. До публичного API далеко, но результаты уже есть. 10 из 10 открытых математических проблем решены. Решения верифицированы через Lean — систему формальных доказательств. Каждый шаг вывода математически строг и проверяем. Инференс обошёлся в $2000. Десять задач, ноль ошибок.