Актуальные темы
#
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.
clhong1248
Самое последнее обновление.
8 дек., 04:39
Тест Putnam, самый сложный математический экзамен колледжа в мире, завершился вчера в 16:00 по тихоокеанскому времени.
Сегодня в полдень AxiomProver самостоятельно решил 9 из 12 задач в Lean (в 15:58 вчера было 8 из 12).
Наш результат был бы #1 среди ~4000 участников в прошлом году и Putnam Fellow (топ-5) в последние годы.
13,83K
Конкурс по математике Putnam, самый сложный среди студентов, завершился вчера в 16:00 по тихоокеанскому времени.
К 15:58 AxiomProver @axiommathai автономно решил 8 из 12 задач Putnam2025 на языке Lean, который на 100% проверяемый.
В прошлом году наш балл был бы #4 из ~4000 и мы стали бы стипендиатом Putnam (топ-10 за последние годы)
277,28K
Есть красота в том, чтобы превращать своего студента в своего соратника.
Сэр Харди к Рамануджану.
Профессор Оно ко мне.
А теперь группа самых ярких математиков в Axiom @axiommathai к нашему ИИ.
Уравнения Тюэ, с которыми мы работали, на доске. Наша работа была примером традиционных вычислений, помогающих открытиям в области модульных форм, эллиптических кривых и поверхностей K3.
105,07K
Топ
Рейтинг
Избранное