OpenAI дропнули 722 пейпера по математике Это результат попытки OpenAI решить 4000 открытых математических задач, на каждую задачу выделили примерно 3 часа GPT Pro с нерелизнутой моделью OpenAI. Часть результатов формализованы через Lean, OpenAI обещают постепенно формализовать и остальные доказательства. Ну и названия для репозитория они конечно выбрали эпичное. https://github.com/openai/math @ai_newz
OpenAI дропнули 722 пейпера по математике Это результат попытки OpenAI решить…
Из этого канала
- #4799Вышла Claude Haiku 5.5 Спустя почти год после выхода прошлой версии Anthropic…
Вышла Claude Haiku 5.5 Спустя почти год после выхода прошлой версии Anthropic решили что они всё же хотят быть представлены в нижнем ценовом сегменте.
- #4797Mistral выпустили ~~Le Chaton Fat~~ Le Chonk Mistral Large 4 это модель на…
Mistral выпустили ~~Le Chaton Fat~~ Le Chonk Mistral Large 4 это модель на триллион параметров с 49 миллиардами активных, которых тренировали на 3800 Grace…
- #4796OpenAI начала вводить вотермарки для текста Пока что это опция для API, которую…
OpenAI начала вводить вотермарки для текста Пока что это опция для API, которую можно добровольно включить.
- #4795Google урежут бесплатный Gemini до Flash-Lite С 9 октября в приложении Gemini…
Google урежут бесплатный Gemini до Flash-Lite С 9 октября в приложении Gemini начнут убирать Flash и Pro у бесплатных аккаунтов. Останется только Flash-Lite.