Актуальні теми
#
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
Давайте намагатися все більше і більше, щоб вони не могли назвати нашу перемогу легкою.
Давайте пробувати все більш вишукані речі, щоб ажіотаж виглядав безсмаково.
Спробуємо зменшення доказів, щоб вони знали, що «відношення довжини доказу — це коефіцієнт твердості» — це нісенітниця.
Давай будемо страусом і йдемо. Я, чорт забирай, обожнюю історію про аутсайдера.
2,78K
Останнє оновлення.
8 груд., 04:39
Putnam, найскладніший у світі університетський тест з математики, завершився вчора о 16:00 за тихоокеанським часом.
Сьогодні опівдні AxiomProver самостійно вирішив 9/12 задач у Lean (вчора 15:58 PT, було 12 вересня).
Наш результат був би #1 із ~4000 учасників минулого року та стипендіат Putnam (топ-5) у останні роки
18,28K
Найкращі
Рейтинг
Вибране