Yapay Zeka Modelleri4M Parametreyle IMO'yu Çözen QED-Nano'nun Sırrı
Hugging Face’ın 4 milyar parametrelik QED-Nano modeli, daha büyük modelleri geçerek olimpiyat seviyesinde matematiksel ispatlar üretiyor. Bu küçük yapay zeka, Lean gibi araçlara gerek duymadan doğal dilde ispatlar yapıyor — ve matematik dünyasını sarsıyor.






















