Trend Olan Konular
#
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 yarışmasının 98 yıllık tarihinde (1927'den beri), sadece 5 mükemmel puan alınmıştır.
AxiomProver 120/120 aldı.
Sınava katılan öğrencileri selamlıyoruz ve daha etkileyici insan prefekt puan alanları görmeyi dört gözle bekliyoruz!
11 Oca 01:49
Yapay zeka, dünyanın en zorlu matematik yarışmasında mükemmel puan aldı.
Putnam'da 12 problem x 10 puan var. Geçen yıl en yüksek puan 90 oldu. Orta yol mu? 0. Axiom'un Lean'deki yapay zeka kanıtlayıcısı 120/120 puan aldı ve tüm çözümleri paylaştı.
Matematikte yapay zeka için büyük bir dönüm noktası.
35
1/ AxiomProver Putnam 2025'in 12/12'sini aldı. Bugün, AxiomProver'ın otonom olarak üretilen Lean kanıtlarını yayınlıyoruz.
Ayrıca problemlere kendi bakış açımızı sunuyoruz, görselleştirmeleri kanıtlıyor ve insan ile yapay zeka arasındaki yaklaşımları karşılaştırıyoruz. Çok eğlenceli matematik ve Lean!
Bulgularımız thread'de.
216
Putnam'dan (resmi teorem ispatı) de novo matematiksel keşfe kadar, Axiom'da bizimle harika işler yapın
12 Ara 2025
Mevcut öğrenciler, yapay zeka modellerini kapsamlı ve soyut araştırma görevleri için kullanabilecek ilk nesil akademisyenlerdir.
2026 için @a16zcrypto bakış açım, QED:
385
En İyiler
Sıralama
Takip Listesi