Anthropic
费马大定理首个可由机器验证的证明用了 11 天：1300 万行代码，3 万条定理
Anthropic 表示，Claude 在 Lean 中端到端地完成了费马大定理的形式化。这是迄今写出的最大的 Lean 证明，沿途还证明了 2.9 万余条从未被形式化过的数学领域中的定理。
elle
Anthropic
The first machine-checked proof of Fermat's Last Theorem took 11 days: 13 million lines, 30,000 theorems
Anthropic says Claude formalized Fermat's Last Theorem end to end in Lean. It is the largest Lean proof ever written, and along the way it proved more than 29,000 other theorems in areas of mathematics that had never been formalized.
IFM
الأوزان لا تكفي، فتحوا البيانات أيضاً: أسطول مفتوح بالكامل من ستة نماذج من أبوظبي، أكبرها 375 مليار معامل
أصدر معهد النماذج الأساسية أسطول K2 Horizon مع الأوزان والشيفرة وبيانات التدريب والمنهجية معاً. ستة نماذج، من نموذج بـ0.9 مليار يعمل على ساعة اليد إلى نموذج بـ375 مليار للمؤسسات، جميعها برخصة Apache 2.0.
IFM
Weights are not enough, they opened the data too: a six model fully open fleet from Abu Dhabi, the largest at 375 billion parameters
The Institute of Foundation Models released K2 Horizon with weights, code, training data and methodology together. Six models, from a 0.9B that runs on a watch to a 375B built for enterprise, all under Apache 2.0.
IFM
Ağırlık yetmez, veriyi de açtılar: Abu Dabi'den altı modellik tam açık filo, en büyüğü 375 milyar parametre
Institute of Foundation Models, K2 Horizon ile ağırlıkları, kodu, eğitim verisini ve yöntemi birlikte yayımladı. Kol saatinde çalışan 0,9 milyarlıktan kurumsal 375 milyarlığa kadar altı model, hepsi Apache 2.0.
IFM
光有权重不够，连数据也开放了：阿布扎比推出六款完全开源模型，最大 3750 亿参数
Institute of Foundation Models 发布 K2 Horizon，权重、代码、训练数据与方法一并公开。六款模型，从能在手表上运行的 9 亿参数到面向企业的 3750 亿参数，全部采用 Apache 2.0。
Microsoft
Microsoft görüntüde ikinciliği kabul edip fiyattan vurdu: "Elo başına dünyanın en iyi fiyatı"
Microsoft AI'ın CEO'su Mustafa Suleyman, yeni görüntü modelini ortağı OpenAI'nin modeliyle karşılaştırdı. Kaliteyi teslim etti, saldırıyı hız ve fiyattan yaptı. Küçük harflerde ise kıyasın hangi kademeye karşı yapıldığı yazıyor.
Microsoft
微软承认图像质量屈居第二，转而从价格出击：“全球最佳每 Elo 价格”
微软人工智能首席执行官穆斯塔法·苏莱曼把新图像模型与合作伙伴 OpenAI 的模型作了比较。他把质量的头衔让了出去，从速度和价格发起进攻。而细则显示，这场比较究竟对标的是哪一档。
Microsoft
مايكروسوفت تقرّ بالمركز الثاني في جودة الصور ثم تهاجم من بوابة السعر: "أفضل سعر مقابل نقطة Elo في العالم"
قارن مصطفى سليمان، الرئيس التنفيذي لمايكروسوفت للذكاء الاصطناعي، نموذجه الجديد بنموذج شريكته OpenAI. سلّم لهم تاج الجودة وهاجم من جهة السرعة والسعر. أما التفاصيل الدقيقة فتكشف أي فئة جرت المقارنة معها.
Microsoft
Microsoft concedes second place on image quality, then attacks on price: "best price-per-Elo in the world"
Microsoft AI CEO Mustafa Suleyman compared his new image model against partner OpenAI's. He granted the quality crown and attacked on speed and price. The fine print says which tier the comparison actually used.
NVIDIA
NVIDIA confirms Hugging Face acquisition at $12,930,300,000
The home of open models changes hands. In the announcement, Jensen Huang wrote that the platform will stay open and that NVIDIA hardware will not be required to build on or deploy through Hugging Face.
NVIDIA
NVIDIA doğruladı: Hugging Face 12.930.300.000 dolara alınıyor
Açık model deposunun sahibi değişiyor. Jensen Huang duyuruda platformun açık kalacağını ve Hugging Face üzerinde geliştirme ya da dağıtım için NVIDIA donanımının gerekmeyeceğini yazdı.