İnce Satırlar
Liste Modu
Döşeme Modu
Sade Döşeme Modu
Blog Modu
İnsan müdahalesi olmadan 80 saat içinde çözüldü
Pekin Üniversitesi bünyesinde Dong Bin liderliğinde geliştirilen sistem, onlarca yıllık matematik literatürünü analiz ederek problemi yaklaşık 80 saat içinde çözdü. Araştırmacılar, sürecin neredeyse tamamen insan müdahalesi olmadan gerçekleştiğini belirtti.
Yeni sistem iki ana bileşenden oluşuyor. “Rethlas” adı verilen bileşen, matematikçilerin izlediği yöntemlere benzer şekilde çözüm stratejileri geliştiriyor. Ardından “Archon” isimli ikinci sistem, bu çözümü doğrulanabilir bir yapıya dönüştürüyor. Bu aşamada, interaktif bir teorem ispatlayıcı ve programlama dili olan Lean 4 kullanılıyor.
Araştırmacılar çalışmanın henüz hakem değerlendirmesinden geçmediğini ve arXiv platformunda yayımlandığını vurguladı. Ancak elde edilen sonuçlar, yapay zekanın yalnızca hesaplama değil, aynı zamanda ileri düzey matematiksel akıl yürütme alanında da ciddi ilerleme kaydettiğini gösteriyor.
Bilim insanlarına göre bu yaklaşım, gelecekte matematik araştırmalarını büyük ölçüde otomatikleştirebilir. Yine de uzmanlar, matematiksel kanıtların mutlak doğruluk gerektirdiğini ve yapay zekaların hala insan denetimine ihtiyaç duyabileceğini hatırlatıyor.
Araştırma ekibi, büyük dil modellerinin hata yapma ve “halüsinasyon” üretme riskine dikkat çekerek, geliştirilen sistemin bu sorunu aşmak için hem doğal dil akıl yürütmesini hem de formal doğrulamayı birleştirdiğini belirtiyor.
Kaynakça https://www.scmp.com/news/china/science/article/3349797/chinese-ai-solves-decade-old-maths-problem-hours-no-human-intervention?module=latest_china_science&pgtype=topic https://www.independent.co.uk/tech/china-ai-old-maths-problem-b2956513.html Bu haberi ve diğer DH içeriklerini, gelişmiş mobil uygulamamızı kullanarak görüntüleyin:
Japonlar bunu nasıl kaptırdı yahu?
titanfall gerçek oluyor desenize
Tam teşekküllü işlevsel gerçek Mecha yapmak Japonlara değil de Çinlilere kısmetmiş.