OpenAI
OpenAI, yapay zekanın ürettiği matematik koleksiyonundan üç makaleyi geri çekti. Güncelleme kaydına göre bir makaledeki işaret hatası, o makalenin ispatını ve aynı yapıyı kullanan iki makaleyi geçersiz kıldı. Katalog 722'den 719 makaleye indi; aynı güncellemede 14 makale düzeltildi ve 6 yeni Lean is
OpenAI
OpenAI 从其 AI 生成的数学论文集中撤回了三篇论文。根据更新记录，一篇论文中的符号错误使该论文的证明以及沿用同一构造的另外两篇论文失效。目录由 722 篇减至 719 篇，同一次更新还修订了 14 篇论文，并新增 6 项 Lean 形式化证明。
OpenAI
OpenAI withdrew three papers from its AI-generated mathematics collection. According to its update log, a sign error in one paper invalidated that proof and two papers built on the same construction. The catalogue went from 722 to 719 papers, and the same update fixed 14 papers and added 6 new Lean
OpenAI
سحبت OpenAI ثلاث أوراق من مجموعة الأوراق الرياضية التي أنتجها الذكاء الاصطناعي. وبحسب سجل التحديثات، أبطل خطأ في الإشارة في إحدى الأوراق برهانها وورقتين تستخدمان البناء نفسه. وانخفض الفهرس من 722 إلى 719 ورقة، وصحح التحديث نفسه 14 ورقة وأضاف 6 براهين جديدة بلغة Lean.
OpenAI
نشرت OpenAI على GitHub مجموعة من 722 ورقة رياضية أنتجها نموذج داخلي لم يُطرح للاستخدام بعد. وبحسب الشركة، تتوزع الأوراق على 372 عائلة من النتائج، وتتضمن ادعاءات بحل مسائل مفتوحة منذ زمن طويل. ويرافق كثيرا من البراهين صياغات بلغة Lean يمكن للحاسوب التحقق منها، بينما لم تُصغ أخرى بعد.
OpenAI
OpenAI 在 GitHub 上公开了由一款尚未发布的内部模型生成的 722 篇数学论文。据该公司介绍，这些论文分为 372 个成果系列，其中包括对长期悬而未决问题的求解声明。许多证明附有可由计算机检验的 Lean 形式化版本，另一些则尚未形式化。
OpenAI
OpenAI released 722 mathematics manuscripts on GitHub, produced by an internal model that has not been released yet. According to the company, they are grouped into 372 result families and include claimed solutions to long-standing open problems. Many proofs come with Lean formalizations that a comp
OpenAI
OpenAI, henüz kullanıma açılmamış bir iç modelinin ürettiği 722 matematik makalesini GitHub'da yayımladı. Şirkete göre makaleler 372 sonuç ailesinde toplanıyor ve aralarında uzun süredir açık olan problemlere çözüm iddiaları var. İspatların bir kısmı Lean ile bilgisayarda denetlenebiliyor, bir kısmı
OpenAI
قدمت OpenAI في DevDay 2026 وكلاء شخصيين باسم dots. ولكل dot حاسوب سحابي ومتصفح خاصان به، ويتصل بالتطبيقات وينجز العمل نيابة عن المستخدم، ويمكن الوصول إليه عبر Slack وTeams. كما بدأت dots متخصصة تتولى مهام محددة في الشركات على شكل تجارب أولية.
OpenAI
OpenAI 在 DevDay 2026 上推出个人智能体 dots。每个 dot 都有自己的云端电脑和浏览器，可连接各类应用、代表用户完成工作，并可通过 Slack 和 Teams 联系。承担特定企业任务的专用 dots 也以试点形式启动。
OpenAI
OpenAI introduced dots, personal agents, at DevDay 2026. Each dot has its own cloud computer and browser, connects to apps and gets work done on the user's behalf, and can be reached through Slack and Teams. Specialist dots that take on specific company tasks are starting as pilots.
OpenAI
OpenAI, DevDay 2026'da dots adlı kişisel ajanları tanıttı. Her dot'un kendi bulut bilgisayarı ve tarayıcısı var; uygulamalara bağlanıp işleri kullanıcı adına yürütüyor, Slack ve Teams üzerinden de ulaşılabiliyor. Şirketler için belirli görevleri üstlenen uzman dot'lar da pilot olarak başlıyor.