Актуальные темы
#
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
1/ AxiomProver получил 12/12 на Putnam 2025. Сегодня мы публикуем доказательства Lean, которые AxiomProver сгенерировал автономно.
Мы также представляем наш взгляд на задачи, визуализации доказательств и сравниваем, как люди и ИИ подходят к ним по-разному. Много увлекательной математики и Lean!
Наши выводы в теме.
86
от формального доказательства теорем в Патнаме до нового математического открытия, приходите и делайте отличную работу с нами в Axiom
12 дек. 2025 г.
Текущие студенты — это первое поколение ученых, которые смогут использовать модели ИИ для значительных, абстрактных исследовательских задач в масштабах.
Мой прогноз @a16zcrypto на 2026 год, QED:
241
1/ Гипотеза Коллатца смирила математиков на протяжении почти 90 лет. Поль Эрдёш сказал: "математика еще не готова к таким проблемам." 🧵
Поэтому мы передали это трансформерам. То, что они узнали, поразило нас!
Новое исследование команды по математическим открытиям Axiom, блог в прямом эфире сегодня утром.
247
Топ
Рейтинг
Избранное