Claude elkészítette Fermat utolsó tételének első teljes, géppel ellenőrzött bizonyítását
Az Imperial College matematikusa, Kevin Buzzard „rendkívüli autoformalizációs teljesítménynek" nevezte az eredményt: az Anthropic ezen a héten jelentette be, hogy Claude modellje mindössze 11 nap alatt, nagyrészt önállóan dolgozva elkészítette Fermat utolsó tételének első teljes, géppel ellenőrzött bizonyítását.
A Lean formalizáció 13 millió sornyi kódból áll és 29 500 köztes tételt bizonyít, ami több mint ötszöröse a Mathlib-nek, a formalizált matematika legnagyobb meglévő könyvtárának. A munka Andrew Wiles 1995-ös mérföldkőnek számító bizonyításának egyszerűsített változatát követte Darmon, Diamond és Taylor feldolgozásában, és körülbelül hatmilliárd output tokent használt fel egy belső Anthropic kutatási modellből.
Fontos leszögezni: Claude nem fedezte fel Fermat utolsó tételét, és nem is váltotta ki Wiles eredeti matematikai meglátását. A formalizáció az informális matematikai gondolatmenet lefordítása olyan szigorú, lépésről lépésre haladó kóddá, amelyet a Lean-hez hasonló bizonyításellenőrző rendszer soronként igazolni tud. Ami az eredményt rendkívülivé teszi, az a méret és a sebesség — egy feladatot, amelyet a matematikai közösség többéves munkának tartott, két hét alatt sikerült elvégezni.
A teljesítmény új korszakot jelez a mesterséges intelligencia matematikai alkalmazásában. Ha a modellek megbízhatóan képesek formalizálni komplex bizonyításokat, az felgyorsíthatja az új eredmények verifikálását, csökkentheti a hibákat a publikált matematikai munkákban, és utat nyithat teljesen új tételek mesterséges intelligenciával támogatott felfedezése felé.
Forrás: Anthropic Research, SiliconANGLE
Az Apple hajtogatható pillanata: iPhone Ultra várható a szeptember 9-i eseményen
John Ternus immár egy hete tölti be az Apple vezérigazgatói posztját — Tim Cook 15 éves regnálása után —, és minden szem az Apple szeptember 9-i „Surprise and Shine" eseményére szegeződik. A fő attrakció: az Apple első hajtogatható készüléke, amelyet várhatóan iPhone Ultra néven mutatnak be.
A kiszivárgott renderek egy „útlevél stílusú" könyvszerű hajtogatható dizájnra utalnak, 5,5 hüvelykes külső kijelzővel és 7,8 hüvelykes belső kijelzővel, nagyjából 4:3-as képaránnyal. Az Apple állítólag folyékony fémet és ultravékony üveget használ a zsanérmechanizmus finomhangolásához, hogy minimalizálja a hajtási nyomot — ami régóta a hajtogatható telefonok Achilles-sarka.
A hajtogatható készüléken túl az Apple várhatóan bemutatja az iPhone 18 Pro-t és iPhone 18 Pro Max-ot, az Apple Watch Series 12-t és Ultra 4-et, valamint egy „HomePad" névre hallgató okosotthon-központot. Szintén pletykálnak beépített kamerás AirPodsokról, amelyek mesterségesintelligencia-funkciókat tennének lehetővé.
Ternus úgy veszi át a stafétát, hogy az Apple az egyetlen nagy techcég saját frontier modell nélkül — így a mesterséges intelligenciával kapcsolatos partnerségekre és az eszközön futó intelligenciára vonatkozó stratégiai döntései különösen meghatározóak lesznek az Apple következő fejezetében.
Forrás: MacRumors, 9to5Mac, Al Jazeera
A Sony és a Warner milliárdos szerzői jogi pert indított az Anthropic ellen
A Sony Music Publishing és a Warner Chappell Music 48 oldalas keresetet nyújtott be, amelyben az Anthropicot „a szellemi tulajdon történetének egyik legnagyobb és legnyíltabb ellopásával" vádolják. A két kiadóóriás szerint az Anthropic „arcátlan kampányt" folytatott, „illegálisan torrentezve, lekaparva és letöltve szerzői joggal védett műveket hatalmas méretekben" a Claude modellek betanításához.
A kereset mintegy 20 000, engedély és jogosítás nélkül felhasznált szerzői jogvédett dalt nevez meg, köztük a The Beatles, Taylor Swift, Michael Jackson és számos más előadó műveit. Konkrét hivatkozott szerzemények között szerepel az „Ain't No Mountain High Enough", az „All I Want for Christmas Is You", az „Eye of the Tiger" és a „Paper Rings".
A kiadók jogsértésenként akár 150 000 dollárt követelnek, ezen felül 25 000 dollárt minden egyes szerzői jogi információ eltávolítása esetén — ami összesen akár milliárdos nagyságrendű összeget jelenthet. A kereset hivatkozik az Anthropic 2025-ös, 1,5 milliárd dolláros egyezségére szerzőkkel és kiadókkal, amit a felperesek annak bizonyítékaként említenek, hogy a cég a korábbi jogi következmények ellenére folytatta a jogsértő magatartást.
A per tovább növeli a nyomást a mesterségesintelligencia-cégekre a képzési adatok felhasználásával kapcsolatban, és az iparág eddigi egyik legnagyobb szerzői jogi pereként tartják számon.
Forrás: TechCrunch, Variety
A TCS 7,4 milliárd dollárt fektet India legnagyobb mesterségesintelligencia-adatközpontjába
A Tata Consultancy Services leányvállalata, a HyperVault bejelentette, hogy akár 700 milliárd rúpiát (7,4 milliárd dollárt) fektet egy hatalmas, 1 gigawattos mesterségesintelligencia-adatközpont kampusz építésébe a dél-indiai Hyderabadban. A projekt fázisonként épül ki egy 264 hektáros területen, és a teljes kiépítés után India egyik legnagyobb mesterségesintelligencia-infrastruktúra-létesítménye lesz.
A kampusz mesterségesintelligencia-cégeknek és hyperscalereknek készül, nagy sűrűségű GPU-telepítéseket támogatva mind képzési, mind következtetési feladatokhoz. K Krithivasan, a TCS vezérigazgatója szerint Hyderabad „a méretgazdaságosságot, a tehetséget és az ökoszisztémát kínálja, ami a globális ügyfelek kiszolgálásához szükséges."
A beruházás egy szélesebb globális trendbe illeszkedik. Ugyanezen a héten a Google akár 40 milliárd dollárt helyezett kilátásba 350 milliárd dolláros értékelés mellett, 5 GW cloud kapacitással öt évre, míg az Amazon 25 milliárd dollárt fektetett Trainium kapacitásba. A számítási kapacitás iránti verseny nem lassul — a mesterséges intelligencia képzéséhez és a következtetéshez szükséges erőforrások iránti kereslet továbbra is meghaladja a kínálatot.
A HyperVault közölte, hogy a projekt zöld energiát és vízsemleges tervezési elveket alkalmaz — ez egyre fontosabb szempont, ahogy a mesterségesintelligencia-adatközpontok környezeti lábnyoma fokozott figyelmet kap.
Forrás: Bloomberg, The Next Web
Az Anthropic kiadta a Fable 5.1-et, 75%-kal olcsóbb cache-olvasással
Az Anthropic eseménydús hetét megkoronázva a cég szeptember 1-jén kiadta a Claude Fable 5.1-et, valamint korlátozott hozzáférésű ikertestvérét, a Mythos 5.1-et. Mindkét modell elérhető a Claude API-n, az AWS Bedrock-on, a Google Cloud-on és a Microsoft Azure-on keresztül.
Az árazás megegyezik a Fable 5-ével — 10 dollár egymillió input tokenre és 50 dollár egymillió output tokenre —, de a cache-olvasás ára 75%-kal csökkent, mindössze 0,25 dollárra egymillió tokenenként, az eddigi 1 dollárhoz képest. A nagy kontextusablakokkal és ismétlődő promptokkal dolgozó fejlesztők számára ez jelentős költségmegtakarítást jelent.
Teljesítményben az Anthropic állítása szerint a Fable 5.1 új mércét állít programozásban és tudásalapú munkában: a Terminal-Bench-Science benchmark-on 52,6 pontot ért el, ami több mint duplája a Fable 5 24,7-es eredményének. A modell emellett kevesebb téves biztonsági megtagadást produkál — ez a fejlesztők egyik leggyakoribb panasza volt a túlzottan óvatos korábbi modellekkel szemben.
A Mythos 5.1, amely kizárólag ellenőrzött kiberbiztonsági és élettudományi intézmények számára érhető el, ezeken a területeken erősebb képességeket kínál, amelyeket a produkciós biztonsági korlátok normál esetben visszafognak. A korlátozott kiadás a kettős felhasználású mesterségesintelligencia-képességek körüli fokozódó iparági óvatosságot tükrözi.
Forrás: TechCrunch, VentureBeat