NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
mathematics
Bu etiket altındaki 6 öğe.
27 Eki 2026
OpenAI Reasoning Model Solves 80-Year-Old Erdős Unit Distance Problem
openai
mathematics
erdos
automated-research
reasoning-models
unit-distance
proof-verification
27 Eki 2026
OpenAI Confirms Astra Model Family with Ten Open Math Problem Solutions
openai
astra
lean
mathematics
formal-verification
multi-agent
27 Eki 2026
OpenAI forms math advisory group as its AI resolves more than 100 open problems
openai
mathematics
ai-for-science
governance
navier-stokes
ias
automated-theorem-proving
22 Eyl 2026
OpenAI matematik danışma grubu kurdu — 100+ açık problem iddiası hâlâ doğrulanmadı
openai
mathematics
ai-for-science
governance
navier-stokes
ias
automated-theorem-proving
01 Ağu 2026
OpenAI Astra’yı duyurdu: On açık matematik sorunu, Lean sertifikalarıyla
openai
astra
lean
mathematics
formal-verification
multi-agent
ten-proofs
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