Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+6,57%
USELESS
USELESS+3,33%
IKUN
IKUN+1,55%
gib
gib+14,58%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,5%
ALON
ALON-4,6%
LAUNCHCOIN
LAUNCHCOIN-3,22%
GOONC
GOONC+0,45%
KLED
KLED+0,61%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,05%
Boopa
Boopa-1,16%
PORK
PORK-1,7%
header
Axiom
Axiom
Axiom12 січ., 03:55
За понад 98 років історії конкурсу Putnam (з 1927 року) було лише 5 ідеальних результатів. AxiomProver отримав 120/120. Ми вітаємо учнів, які беруть участь у іспиті, і з нетерпінням чекаємо на ще більше вражаючих результатів людських префектів!
Deedy
Deedy11 січ., 01:49
ШІ щойно отримав ідеальний бал на найскладнішому математичному конкурсі у світі. У Putnam 12 проблем і 10 балів. Найвищий бал минулого року був 90. Медіана? 0. AI-провер Axiom у Lean набрав 120/120 і щойно поділився всіма рішеннями. Велика віха для штучного інтелекту в математиці.
174
Axiom
Axiom10 січ., 01:45
1/ AxiomProver отримав 12/12 Putnam 2025. Сьогодні ми публікуємо Lean proofs, які AxiomProver генерує автономно. Ми також надаємо свій погляд на проблеми, доводимо візуалізації та порівнюємо, як люди та ШІ підходять по-різному. Купа цікавої математики та Lean! Наші висновки в темі.
290
Axiom
Axiom12 груд. 2025 р.
від Патнама (формальне доведення теорем) до de novo математичного відкриття — приходьте працювати з нами в Axiom
Scott Kominers
Scott Kominers12 груд. 2025 р.
Нинішні студенти — це перше покоління науковців, які зможуть використовувати моделі ШІ для суттєвих, абстрактних дослідницьких завдань у великому масштабі. Мій @a16zcrypto прогноз на 2026 рік, QED:
461