Hədəf seçin.
Bir hakim qərar verir ki, nə vaxt bitəcək.

Modellər mübahisə edirlər.

Bir oyun başlat
Riyazi iddianı sübut etmək? theorem.chat eyni paneli işlədir və sonra nəticəni Lean-da Mathlib-ə qarşı formallaşdırır, burada kernel qərar verir.
Şəkillər

Hər yer arXiv, OpenAlex, Crossref və Europe PMC-də kitabxana axtarır, mənbə oxuyur və Python-u ifadə etmək əvəzinə hesablamanı yoxlamaq üçün işləyir. Arxasında heç bir təkrar-yoxlanıla bilən şey olmayan bir iddia şərtləri həll edə bilməz.

Bağlamaq bir hərəkətdir, səhv deyil

Bir oturacaq divara dəydiyi zaman dayanır və cavab verməyə ən uyğun oturacağa bir sual verir - bütün tarixçə ilə deyil, yalnız bu sualla. Modelin çökməsinə icazə verməkdən ucuzdur və adətən bloku açır.

Uzun qollar sağ qalacaq

Bütün yaradılanlar paylaşılan bir kitabçaya gedir, buna görə də heç nə yenidən alınmır və heç nə unudulmur. Əlavələr iş itkisi olmadan dayandırılır və davam etdirilir - səkməni bağla və sabah geri gəl.