Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Jasper
Сооснователь и генеральный директор @Hyperbolic_Labs. бывшие @avax и бывшие @citsecurities. Получил степень доктора философии по математике за 2 года @UCBerkeley. Золотая медалистка олимпиады по математике. Высшая честь @PKU1898
В восторге от того, что стал первым, кто разместил лучшую модель кодирования Qwen3-Coder на @huggingface! Спасибо за ваше доверие, @Alibaba_Qwen @JustinLin610 @huybery 💜
23 часа назад
Теперь мы предлагаем Qwen3-Coder-480B-A35B и Qwen3-235B-A22B-2507 в Hyperbolic!
Qwen3-Coder-480B показывает результаты, сопоставимые с Claude Sonnet 4 по тестам на программирование, это действительно удивительно!
@JustinLin610 и @huybery — это 420 банда в Китае, продолжают отправлять модели до 6 утра по китайскому времени!
LFG, открытый ИИ! 💪
1,4K
Какой дикий уикенд с AI и IMO. Оглядываясь на последние 3 дня, я стал свидетелем:
> Пятница, после обеда: утечка информации о том, что DeepMind выиграл золото
> Суббота, 1:00: OpenAI опередил официальное объявление, перехватив внимание
> Сначала думал, что Google просто медлит из-за маркетингового одобрения
> Затем услышал от людей из Google, что IMO и они сами нуждались в дополнительном времени для проверки
> Оказалось, что OpenAI даже не привлекал IMO официально
> Понедельник: DeepMind подтвердил свое золото с более чистыми и эстетичными ответами, полностью проверенными IMO
Было весело быть первым, кто поделился новостью в X в прошлую пятницу. Какой дикий уикенд!
Шутки в сторону, вокруг математики AI в последнее время много шума, но нам нужно больше строгости и стандартизации. Как указал Терренс Тао, даже если результаты выглядят похоже, различия в формате тестирования могут иметь огромное значение. Мы все еще далеки от наличия четких, последовательных стандартов и сообщений в исследовании AI.
Если мы хотим значительного прогресса, пришло время сообществу проявить инициативу. Давайте создадим эталоны, которым мы все можем доверять.
19 июл., 06:25
Всего 20 минут назад был опубликован результат IMO 2025.
Китай занял 1-е место, а @GoogleDeepMind выиграл золотую медаль 🥇
Будущие математические соревнования будут между командой Китая и командой США, состоящей из китайцев, против ИИ.
4,82K
Только что закончил работу и попробовал Grok-4 на задаче по топологии для студентов. Это заняло 9 минут на размышления, а затем он уверенно дал чистый, правдоподобный, но совершенно неправильный ответ 😅
Не думаю, что это можно считать «умело противостоящим». Модели ИИ разрывают бенчмарки — но до настоящего математического AGI еще далеко.
10 июл., 16:47
Grok 4 находится на таком уровне, что практически никогда не ошибается в вопросах по математике/физике, если только они не являются искусно противоречивыми.
Он может выявлять ошибки или неоднозначности в вопросах, а затем исправлять ошибку в вопросе или отвечать на каждый вариант неоднозначного вопроса.
663,07K
Grok получил максимальный балл на AIME 🤯 Нам определенно нужен лучший математический эталон для ИИ сейчас
10 июл., 12:01
Представляем Grok 4, самую мощную модель ИИ в мире. Смотрите прямую трансляцию сейчас:
3,07K
Топ
Рейтинг
Избранное