NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
unit-distance
Bu etiket altındaki 2 öğe.
05 Ağu 2026
OpenAI Reasoning Model Solves 80-Year-Old Erdős Unit Distance Problem
openai
mathematics
erdos
automated-research
reasoning-models
unit-distance
proof-verification
01 Haz 2026
OpenAI Modeli 80 Yıllık Erdős Birim Uzaklık Varsayımını Çürüttü
openai
mathematics
erdos
automated-research
reasoning-models
unit-distance
proof-verification