TGViewer
HN Digest | Hacker Newsʼning eng yaxshilari HN Digest | Hacker Newsʼning eng yaxshilari @hndigestuz · 75 subscribers
Post #551 25
OpenAI matematika boʻyicha tadqiqot kodlarini ochiq eʼlon qildi
↘︎ Sharing AI progress in mathematics

OpenAI matematika masalalarini yechishga moʻljallangan sunʼiy intellekt tizimi kodlari va tadqiqot natijalarini GitHub platformasida ochiq manba sifatida eʼlon qildi.

💬 Koʻplab foydalanuvchilar OpenAI ushbu maʼlumotlarni faqat jamoatchilik bosimidan keyingina eʼlon qilganini taʼkidladi
→ muhokama


949 ball · 891 izoh · #daily · @HNDigestUz
OpenAI Sharing AI progress in mathematics OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Open in Telegram All posts from @hndigestuz
More from @hndigestuz
  1. Oct 7, 2026🔥 Claude Haiku 5.5 modeli 75 foizga arzonlashdi ↘︎ Claude Haiku 5.5 Yangi model avvalgisi…
  2. Oct 7, 2026Chrome brauzeri JPEG XL formatini Rust dekoderi bilan qaytardi ↘︎ Shipping JPEG XL in Chro…
  3. Oct 6, 2026JetBrains daromadi oshsa ham zarar koʻrdi ↘︎ JetBrains reports revenue growth, net financi…
  4. Oct 6, 2026🔥 Mistral Large 4 modeli yarim narxda taqdim etildi ↘︎ Mistral Large 4 Yangi model DeepSe…
  5. Oct 6, 2026ChatGPT tasvirlarga haqiqiy rassomlar imzosini qoʻshmoqda ↘︎ ChatGPT is adding real cartoo…
  6. Oct 5, 2026Daniya milliy reyestridan millionlab shaxsiy maʼlumotlar sizib chiqdi ↘︎ Denmark data brea…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →