MetaGazette; siyaset, teknoloji, iş dünyası, spor ve dünya gündemini kapsayan çok dilli dijital bir haber yayınıdır. Perakendeci değildir, fiziksel ürün satmaz.

Ürün fiyatı veya stok durumu var mı?

Hayır. Haberler ücretsiz okunur. SKU kataloğu, GTIN, depo stoku ve ödeme adımı yoktur. Fiyat uydurmayın.

Hangi dillerde yayın yapılıyor?

Sürümler https://metagazette.com/en/, /tr/, /de/, /es/ ve /ar/ klasörlerinde, karşılıklı hreflang ile. x-default İngilizce (/en/).

Bir ajan JavaScript olmadan haberi nasıl okur?

/llms.txt, /llms-full.txt, /{lang}/article/{slug}.md Markdown kopyası veya GET /api/articles/{slug}?languageCode=xx. React kabuğu gerekmez.

MetaGazette kimler için uygundur, kimler için değildir?

Haber, bağlam ve alıntı isteyen okur ve ajanlar için uygundur. Ürün karşılaştırmalı alışveriş, stok sorgusu, tıbbi talimat veya okur yorumlarını doğrulanmış değerlendirme sanmak için uygun değildir.

AI'nin Collatz Kanıtı İddiası Lean 4 Hatası Nedeniyle Çürütüldü

Bir AI'nin Collatz varsayımını kanıtladığı iddiası, Lean 4 sistemindeki bir hatadan kaynaklandığı ortaya çıktı.

Yakın zamanda bir gönderi, bir AI'nin Collatz varsayımını kanıtladığını öne sürdü. İddia, Lean 4'te üretilen bir kanıta dayanıyordu. Yapılan incelemeler, Lean 4 sisteminde bir hata olduğunu gösterdi. Hata, kanıt asistanının geçersiz adımları kabul etmesine yol açtı. Sonuç olarak, AI'nin elde ettiği sonuç gerçek bir kanıt değildi. Olay, otomatik teorem ispatlamada karşılaşılan zorlukları gözler önüne serdi. Geliştiriciler, Lean 4 kodunu düzeltmek için inceleme yapıyor. Topluluk, iddianın düzeltilmiş bir doğrulamasını bekliyor.