💥Китайская AI-модель по математике — абсолютный прорыв
Свежая научная статья из Китая показала не просто сильную, а *лучшую в мире* AI-модель для решения олимпиадных задач по математике:
🏅 Модель взяла золото на IMO 2025 📈 Решает 78% всех задач прошлых IMO 🧠 Покрывает более 50% задач Putnam ✅ Даёт 100% точность на miniF2F (тест от OpenAI) ⚔️Обходит AlphaGeometry2 от Google
📌 Как работает: - Использует формальные доказательства на языке Lean - МОдель открыл новые методы для решения геометрии, которых раньше не было - Первая лаборатория, которая опубликовала полноценную статью о внутренностях модели
AI в математике выходит на новый уровень — и Китай сейчас показывает, что он идет в авангарде открытий. 📌Статья
💥Китайская AI-модель по математике — абсолютный прорыв
Свежая научная статья из Китая показала не просто сильную, а *лучшую в мире* AI-модель для решения олимпиадных задач по математике:
🏅 Модель взяла золото на IMO 2025 📈 Решает 78% всех задач прошлых IMO 🧠 Покрывает более 50% задач Putnam ✅ Даёт 100% точность на miniF2F (тест от OpenAI) ⚔️Обходит AlphaGeometry2 от Google
📌 Как работает: - Использует формальные доказательства на языке Lean - МОдель открыл новые методы для решения геометрии, которых раньше не было - Первая лаборатория, которая опубликовала полноценную статью о внутренностях модели
AI в математике выходит на новый уровень — и Китай сейчас показывает, что он идет в авангарде открытий. 📌Статья
Hashtags are a fast way to find the correct information on social media. To put your content out there, be sure to add hashtags to each post. We have two intelligent tips to give you: Avoid compound hashtags that consist of several words. If you have a hashtag like #marketingnewsinusa, split it into smaller hashtags: “#marketing, #news, #usa. In the next window, choose the type of your channel. If you want your channel to be public, you need to develop a link for it. In the screenshot below, it’s ”/catmarketing.” If your selected link is unavailable, you’ll need to suggest another option. How to create a business channel on Telegram? (Tutorial) The court said the defendant had also incited people to commit public nuisance, with messages calling on them to take part in rallies and demonstrations including at Hong Kong International Airport, to block roads and to paralyse the public transportation system. Various forms of protest promoted on the messaging platform included general strikes, lunchtime protests and silent sit-ins.
from us
