Актуальные темы
#
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
Тест Putnam, самый сложный математический экзамен колледжа в мире, завершился вчера в 16:00 по тихоокеанскому времени.
Сегодня в полдень AxiomProver самостоятельно решил 9 из 12 задач в Lean (в 15:58 вчера было 8 из 12).
Наш результат был бы #1 среди ~4000 участников в прошлом году и Putnam Fellow (топ-5) в последние годы.
247,21K
Топ
Рейтинг
Избранное