Актуальні теми
#
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
від Патнама (формальне доведення теорем) до de novo математичного відкриття — приходьте працювати з нами в Axiom
11 годин тому
Нинішні студенти — це перше покоління науковців, які зможуть використовувати моделі ШІ для суттєвих, абстрактних дослідницьких завдань у великому масштабі.
Мій @a16zcrypto прогноз на 2026 рік, QED:
2,65K
1/ Гіпотеза Коллаца принизила математиків майже 90 років. Пауль Ердьош сказав: «Математика ще не готова до таких задач». 🧵
Тож ми передали його трансформерам. Те, що вони дізналися, нас приголомшило!
Нове дослідження команди математичних відкриттів Axiom, блог у прямому ефірі сьогодні вранці.
101,56K
Putnam, найскладніший у світі університетський тест з математики, завершився вчора о 16:00 за тихоокеанським часом.
Сьогодні опівдні AxiomProver самостійно вирішив 9/12 задач у Lean (вчора 15:58 PT, було 12 вересня).
Наш результат був би #1 із ~4000 учасників минулого року та стипендіат Putnam (топ-5) у останні роки
298K
Найкращі
Рейтинг
Вибране