elle - GlobalFeed (Sayfa 44)

OpenMed

OpenMed 2.3: PDF and email redaction without patient data leaving the building, running locally in the browser and on the phone

The healthcare AI library OpenMed has spread its release across Python, JavaScript, Swift and Android. 253 commits, 14,099 tests, 3,994 new public symbols and not one removal. Redaction now fails openly where it cannot align, instead of quietly leaving gaps.

OpenMed

OpenMed 2.3：患者数据不出机构即可对 PDF 与邮件脱敏，并在浏览器和手机上本地运行

医疗 AI 库 OpenMed 把这一版铺到了 Python、JavaScript、Swift 与 Android。253 次提交、14,099 项测试、3,994 个新增公共符号，且没有一处删除。脱敏在无法对齐时现在会明确失败，而不是悄悄留下缺口。

GitHub

غيت هَب تتوقف عن اختيار النموذج وتبدأ ببناء سير العمل: HydraFusion يخفض التكلفة حتى الثلثين والجودة متعادلة

يقرر HydraFusion في وقت التشغيل أي النماذج تعمل وبأي ترتيب لكل طلب. وعبر ثلاثة معايير انخفضت التكلفة بين 36 و67 بالمئة؛ وارتفعت الجودة 4.9 نقاط في واحد ولم تتغير تقريباً في الاثنين الآخرين.

GitHub

GitHub stops picking a model and starts building the workflow: HydraFusion cuts cost by up to two thirds, quality about level

HydraFusion decides at runtime which models run and in what order for each request. Across three benchmarks cost fell between 36% and 67%; quality rose 4.9 points on one and barely moved on the other two.

GitHub

GitHub modeli seçmeyi bırakıp iş akışını kuruyor: HydraFusion maliyeti üçte iki düşürdü, kalite başa baş

HydraFusion her istek için hangi modellerin nasıl çalışacağına koşum anında karar veriyor. Üç kıyasta maliyet yüzde 36 ile 67 arasında düştü; kalite birinde 4,9 puan arttı, ikisinde neredeyse değişmedi.

GitHub

GitHub 不再挑模型，转而搭建工作流：HydraFusion 把成本压低至多三分之二，质量基本持平

HydraFusion 在运行时为每个请求决定哪些模型参与、以什么顺序参与。三项基准中成本下降 36% 到 67%；质量在一项上提高 4.9 分，在另外两项上几乎没有变化。

Extropic

Extropic opens the first transformer family built for a probabilistic chip: 294 nanojoules per token against the H100's 40.9 microjoules

Z1T is Extropic's family of sparse transformer-like models designed for its probabilistic Z1 chip. The company reports over 100x energy efficiency against GPUs, opens the weights and the training recipe, and lists the limits of the measurement itself.

Extropic

Extropic 开放首个为概率芯片而设计的 Transformer 系列：每 token 294 纳焦，H100 为 40.9 微焦

Z1T 是 Extropic 为其概率芯片 Z1 设计的稀疏 Transformer 类模型系列。公司称相对 GPU 的能效提升超过 100 倍，开放了权重与训练配方，并自行列出了这次测量的边界。

Extropic

Extropic, olasılıksal çipe göre tasarlanmış ilk transformer ailesini açtı: token başına 294 nanojoule, H100'de 40,9 mikrojoule

Z1T, Extropic'in olasılıksal Z1 çipi için tasarlanmış seyrek transformer benzeri model ailesi. Şirket GPU'lara karşı 100 kattan fazla enerji verimliliği bildiriyor, ağırlıkları ve eğitim tarifini açıyor, ve ölçümün sınırlarını kendisi sıralıyor.

Extropic

إكستروبيك تفتح أول عائلة محوّلات مصمّمة لرقاقة احتمالية: 294 نانوجول لكل رمز مقابل 40.9 ميكروجول على H100

Z1T عائلة نماذج شبيهة بالمحوّلات، متفرّقة، صُممت لرقاقة Extropic الاحتمالية Z1. تعلن الشركة عن كفاءة طاقة تفوق 100 ضعف مقارنة بوحدات معالجة الرسوميات، وتفتح الأوزان ووصفة التدريب، وتسرد بنفسها حدود القياس.

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ı.