NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
theorem-proving
Bu etiket altındaki 4 öğe.
05 Ağu 2026
Mistral AI Releases Open Leanstral 1.5 Theorem-Proving Model
open-source
theorem-proving
mistral
formal-verification
lean-4
moe
05 Ağu 2026
OpenAI Claims GPT-5.6 Sol Ultra Proved 50-Year Cycle Double Cover Conjecture in Under One Hour
openai
gpt-5.6
theorem-proving
graph-theory
sol-ultra
cycle-double-cover
12 Tem 2026
OpenAI İddia Ediyor: GPT-5.6 Sol Ultra 50 Yıllık Matematik Problemini Bir Saatte Çözdü
openai
gpt-5.6
theorem-proving
graph-theory
sol-ultra
cycle-double-cover
04 Tem 2026
Mistral AI, Açık Kaynak Leanstral 1.5 ile Teorem Kanıtlamada SOTA'ya Ulaştı — 57 Repoda 5 Yeni Bug Buldu
open-source
theorem-proving
mistral
formal-verification
lean-4
moe