OpenAI
OpenAI 宣称攻克纳维-斯托克斯问题，训练数据争议随之而来
OpenAI 称内部模型解决了悬置约90年的纳维-斯托克斯问题，前一天发布相关成果的数学家质疑其是否用到了 Codex 数据。
Anthropic
Anthropic
Anthropic researcher resigns: neither company is acting responsibly
Jacob Coxon, who spent three years on pretraining research at OpenAI and then Anthropic, resigned and set out why. Anthropic's own alignment lead publicly agreed with him, putting the risk above 10% within the next decade.
Anthropic
Anthropic'ten istifa eden araştırmacı: iki şirket de sorumsuz davranıyor
Üç yılı OpenAI ve Anthropic'te ön eğitim araştırmasıyla geçen Jacob Coxon istifa etti ve sebebini yazdı. Anthropic'in kendi hizalama sorumlusu ona katıldı: on yıl içinde yüzde 10'dan büyük bir olasılık verdiğini söyledi.
Anthropic
Anthropic 研究员辞职：两家公司都不负责任
在 OpenAI 与 Anthropic 从事三年预训练研究的 Jacob Coxon 辞职并写下理由。Anthropic 自家的对齐负责人公开表示同意，并把未来十年的风险估在百分之十以上。
Anthropic
استقالة باحث من Anthropic: لا الشركتان تتصرفان بمسؤولية
استقال جاكوب كوكسون الذي أمضى ثلاث سنوات في أبحاث التدريب المسبق لدى OpenAI ثم Anthropic، وشرح أسبابه. وأيده مسؤول المواءمة في Anthropic نفسها، واضعا الخطر فوق عشرة بالمئة خلال العقد المقبل.
Anthropic
مسؤول سلامة في Anthropic: احتمال أن يقتل الذكاء الاصطناعي البشر جميعاً يتجاوز 10%
إيفان هوبينغر، الذي يقود أحد فرق السلامة في Anthropic، قدّر الاحتمال بأكثر من واحد من عشرة خلال العقد المقبل، بعد ساعات من استقالة زميل له لأسباب تتعلق بالسلامة.
Anthropic
Anthropic safety lead puts odds of AI killing all humans above 1 in 10
Evan Hubinger, who leads an Anthropic safety team, says the chance AI kills all humans within the decade is greater than 10 percent, hours after a colleague resigned over safety.
Anthropic
Anthropic araştırmacısı: Yapay zekanın tüm insanları öldürme olasılığı yüzde 10'un üzerinde
Anthropic'in güvenlik ekiplerinden birini yöneten Evan Hubinger, on yıl içinde bu riski 10'da 1'den yüksek gördüğünü söyledi; bir meslektaşı ise güvenlik gerekçesiyle istifa etti.
Anthropic
Anthropic安全负责人：AI在十年内“杀死全人类”的概率超过十分之一
Anthropic安全团队负责人Evan Hubinger给出个人估计：未来十年AI导致全人类灭亡的概率高于10%。数小时前，一名同事刚因安全问题辞职。
Anthropic
أول برهان لمبرهنة فيرما الأخيرة يتحقق منه الحاسوب أُنجز في 11 يوماً: 13 مليون سطر و30 ألف مبرهنة
أعلنت Anthropic أن Claude صاغ مبرهنة فيرما الأخيرة صياغة صورية كاملة بلغة Lean. وهو أكبر برهان بلغة Lean كُتب حتى اليوم، وأثبت في طريقه أكثر من 29 ألف مبرهنة أخرى في مجالات لم تُصَغ صورياً من قبل.
Anthropic
Fermat'nın Son Teoremi'nin ilk makinece doğrulanan kanıtı 11 günde çıktı: 13 milyon satır, 30 bin teorem
Anthropic, Claude'un Fermat'nın Son Teoremi'ni Lean'de uçtan uca formalize ettiğini duyurdu. Kanıt bugüne kadar yazılmış en büyük Lean kanıtı; yolda daha önce hiç formalize edilmemiş alanlarda 29 binden fazla teorem de kanıtlandı.
Anthropic
费马大定理首个可由机器验证的证明用了 11 天：1300 万行代码，3 万条定理
Anthropic 表示，Claude 在 Lean 中端到端地完成了费马大定理的形式化。这是迄今写出的最大的 Lean 证明，沿途还证明了 2.9 万余条从未被形式化过的数学领域中的定理。