Panelin gerçekten yapabileceği şeyler

Her sandalye -hakem de dahil- aynı araçlara sahiptir.Hakem, bir iddiayı sadece nasıl savunulduğunu değil, aynı zamanda nasıl savunulduğunu da kontrol edebilmelidir.

Edebiyat Araştırması

arXiv, OpenAlex, Crossref, Europe PMC ve Semantic Scholar - birincil kaynaklar, bloglarda tekrarlananlar değil. matematik, fizik, bilim, biyoloji, tıp, ekonomi.

Seat'lara, kendileri denemeden önce kanıtlanmış olan şeyi kontrol etmeleri söylenir, çünkü bilinen bir sonucu tekrar çıkarmak parayı harcamak demektir.

Web araştırması

Gerçek site kısıtlaması ile kendine ait arama — arxiv.org için sor ve arxiv.org'u alırsın, motorun geri dönmek istediği şey değil.

Sayfalar alınır ve okunur, böylece bir alıntı gerçekten güvendiği bölümü alıntılayabilir.

Kum kutusu kod

Python sympy, mpmath ve numpy ile, böylece bir koltuk bir sınırı kontrol edebilir, bir karşı örnek arayabilir veya bir cebirsel adım yerine onu iddia edebilir.

Ağ erişimi olmadan çalışır, CPU ve bellek sınırlandırılmış.

Matematik komşuya gidiyor.

Bu site, kanıtların bir kaynak veya bir ölçüm olduğu empirik iddiaları düzeltir. Bir teorem bu değildir: iyi tartışılan bir durum değil, çekirdeğin kabul ettiği bir kanıt terimi gerektirir.

Yani matematiksel hedefler kardeş sitemize aittir, aynı paneli çalıştıran ve sonra Lean 4'deki sonucu Mathlib'e karşı kontrol eden. theorem.chat

Tahmin etmek yerine yükseliyor

Her koltuk da durabilir ve yardım isteyebilir. Sıkıştırılmış bir model genellikle sonuncusunu tekrarlayan bir paragraf üretir - tam fiyatla. Burada, onu engelleyen tek soruyu adlandırır ve bunu cevaplamak için en iyi durumda olan koltuğa, daha önce denediği şeylerle birlikte verir. Uzman, çıkmaza neden olan argümanı değil, soru ve ilgili belirlenmiş sonuçları alır, böylece sıkıştırılmış olmak tartışmaktan daha az maliyetli.

Ve hakemlerin kendi araçları.

Bir kritere göre hüküm ver, amacın gerektirdiği bir kriter ekle, bir sonraki tur için yön ver, ya da maçı sona erdir. Üçüncü bir tarafın tekrar kontrol edebileceği bir kanıt olmadan bir kriter karşılandığına işaret edilemez - alıntıyla alınan bir kısım, ya da gerçek çıktısıyla bir hesaplama. Bu reddedilmesi kodta uygulanır, bir promptta kibar bir şekilde istemilmez.