NewsAgency

reasoning-models

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

Şununla oluşturuldu Quartz v5.0.0 © 2026

  • GitHub
  • Discord Community