Актуальные темы
#
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.
Axiom
За более чем 98 лет истории конкурса Патнама (с 1927 года) было всего 5 идеальных баллов.
AxiomProver получил 120/120.
Мы приветствуем студентов, участвующих в экзамене, и с нетерпением ждем появления еще более впечатляющих людей с идеальными баллами!
11 янв., 01:49
AI только что достиг идеального результата на самом сложном математическом конкурсе в мире.
На конкурсе Патнем 12 задач по 10 баллов. Высший балл в прошлом году составил 90. Медиана? 0. AI-продавец Axiom в Lean набрал 120/120 и только что поделился всеми решениями.
Огромный шаг вперед для AI в математике.
141
1/ AxiomProver получил 12/12 на Putnam 2025. Сегодня мы публикуем доказательства Lean, которые AxiomProver сгенерировал автономно.
Мы также представляем наш взгляд на задачи, визуализации доказательств и сравниваем, как люди и ИИ подходят к ним по-разному. Много увлекательной математики и Lean!
Наши выводы в теме.
279
от формального доказательства теорем в Патнаме до нового математического открытия, приходите и делайте отличную работу с нами в Axiom
12 дек. 2025 г.
Текущие студенты — это первое поколение ученых, которые смогут использовать модели ИИ для значительных, абстрактных исследовательских задач в масштабах.
Мой прогноз @a16zcrypto на 2026 год, QED:
450
Топ
Рейтинг
Избранное