Az OpenAI modellje önállóan cáfolt meg egy 80 éves matematikai sejtést — ez az első ilyen eset a mesterséges intelligencia történetében

Az OpenAI modellje önállóan cáfolt meg egy 80 éves geometriai sejtést

A Fields-érmes Tim Gowers szerint „mérföldkő a mesterséges intelligencia matematikai alkalmazásában" — az OpenAI belső következtető modellje önállóan megcáfolta a diszkrét geometria egyik központi sejtését, az Erdős-féle síkbeli egységtávolság-sejtést, amely 1946 óta megoldatlan volt.

Az eredményt különösen rendkívülivé teszi az autonómia mértéke. A modellt nem hangolták erre a konkrét problémára, nem keresett vissza korábbi megoldásokat, és nem irányították lépésről lépésre emberi kutatók. A feladatleírást kapta meg, és önállóan állította elő a bizonyítást: végtelen konstrukciócsaládot fedezett fel mély algebrai számelmélet — konkrétan a Golod–Safarevics-elmélet és végtelen osztálytest-tornyok — felhasználásával, amelyek polinomiálisan javítanak a hagyományos négyzetrács-megközelítésen.

A bizonyítást külső matematikusok egy csoportja ellenőrizte, akik kísérő tanulmányt is írtak az érvelés és az eredmény jelentőségének ismertetésére. Ez az első alkalom, hogy egy matematikai részterület központi, nyitott problémáját önállóan oldotta meg mesterséges intelligencia — minőségi ugrás a korábbi, emberek által erősen irányított AI-támogatott bizonyításokhoz képest.

Forrás: OpenAI Blog

A Trump-kormányzat visszavonta az AI-felügyeleti elnöki rendeletet az iparági nyomás hatására

Donald Trump elnök elhalasztotta — gyakorlatilag levette a napirendről — azt a tervezett elnöki rendeletet, amely önkéntes keretrendszert hozott volna létre: az AI-cégek a nyilvánosságra hozatal előtt megosztották volna fejlett modelljeiket a kormánnyal biztonsági ellenőrzés céljából. A tervek szerint a szövetségi hatóságok akár 90 napot kaptak volna az új modellek felülvizsgálatára.

„Nem tetszettek bizonyos részletei" — mondta Trump az Ovális Irodában az újságíróknak. „Vezető pozícióban vagyunk Kínával szemben, mindenkivel szemben, és nem akartam semmi olyat tenni, ami veszélyezteti ezt az előnyt."

A visszalépés Elon Musk, Mark Zuckerberg és az egykori amerikai AI- és kriptovaluta-tanácsadó, David Sacks közvetlen telefonhívásai nyomán történt. Állítólag arra figyelmeztették az elnököt, hogy a kormányzati felülvizsgálati folyamat lassítaná az amerikai AI-fejlesztést, és előnyhöz juttatná a külföldi versenytársakat. A lépés hátterében az Anthropic Mythos modellje körüli nemzetbiztonsági aggodalmak is állnak, amely fejlett kibertámadási sebezhetőségek feltárására képes.

Források: CNBC, Axios

Andrej Karpathy az Anthropichoz igazolt, új pre-training kutatócsapatot vezet

Andrej Karpathy, a mesterséges intelligencia egyik legelismertebb kutatója és az OpenAI alapító tagja, a rivális Anthropic laborhoz szerződött. A május 19-i bejelentés komoly hullámokat vetett a szakmában.

Karpathy a pre-training csapatban dolgozik Nick Joseph vezetése alatt — ez a frontier modellek építésének leginkább számításigényes és legdrágább fázisa. Ami különösen figyelemre méltó: új csapatot indít, amelynek célja, hogy Claude segítségével gyorsítsák fel magát a pre-training kutatást — ez a rekurzív megközelítés egyre fontosabb szerepet kap az AI-laborok kutatási munkafolyamataiban.

„Úgy gondolom, a következő néhány év a frontier LLM-ek területén különösen meghatározó lesz" — írta Karpathy az X-en. „Nagyon izgatott vagyok, hogy csatlakozhatok a csapathoz és visszatérhetek az R&D-hez."

Az igazolás az Anthropic számára kulcsfontosságú pillanatban történik: a cég a Q2 2026-ra 10,9 milliárd dolláros bevételt vetít előre, ami 130%-os növekedés a Q1-es 4,8 milliárd dollárhoz képest, és állítólag közelíti a 900 milliárd dolláros értékelést egy lehetséges IPO előtt. Emellett az Anthropic 200 millió dolláros partnerséget kötött a Gates Alapítvánnyal is, AI-eszközök fejlesztésére az egészségügy, az oktatás és a mezőgazdaság területén.

Források: TechCrunch, CNBC

Az EU egyszerűsíti az AI Act szabályait, kulcsfontosságú határidőket halaszt el

Az Európai Unió ideiglenes megállapodást kötött a Digital Omnibus csomagról, amely az AI Act 2024 júniusi elfogadása óta az első módosításcsomag. A Tanács, a Parlament és a Bizottság által közvetített megállapodás több kulcsfontosságú kötelezettséget halaszt el és egyszerűsít.

A magas kockázatú AI-rendszerekre vonatkozó (III. melléklet szerinti) kötelezettségek 2026 augusztusáról 2027 decemberére tolódtak — ez 16 hónapos hosszabbítás —, míg a termékszabályozás alá eső, magas kockázatú rendszerek egy évet kaptak, 2028 augusztusáig. A módosítások a korábban a kis- és középvállalkozásoknak biztosított szabályozási mentességeket a kis közepes tőkeértékű vállalatokra is kiterjesztik.

A megállapodás új tiltásokat is bevezet: 2026 decemberétől kifejezetten tiltott lesz az azonosítható személyekről készített, beleegyezés nélküli intim tartalmakat generáló AI, valamint a gyermekek szexuális kizsákmányolását ábrázoló AI-generált anyagok előállítása.

A formális elfogadás júniusban, a közzététel júliusban várható. Az egyszerűsítést széles körben pragmatikus válasznak tekintik az iparági visszajelzésekre, miszerint az eredeti ütemterv túlzottan ambiciózus volt, különösen, mivel számos technikai szabvány még kidolgozás alatt áll.

Forrás: Az Európai Unió Tanácsa

Röviden

Google I/O 2026: A Google bemutatta a Gemini Spark nonstop személyes AI-ágenst, a Gemini Omni világmodellt és a Gemini 3.5 Flash-t. Az AI Ultra előfizetés havi 250 dollárról 200-ra csökkent, és megjelent egy új, havi 99 dolláros szint is. CNBC

Meta-botrány: Mark Zuckerberg kiszivárgott hangfelvételéből kiderült, hogy a Meta alkalmazottai Gmail-fiókjait, kódolási munkameneteit és belső eszközeit követte nyomon AI-képzés céljából — mindezt azon a napon hozták nyilvánosságra, amikor 8000 alkalmazottat bocsátottak el.

OpenAI IPO: Az OpenAI benyújtotta tőzsdei bevezetési kérelmét, és a SpaceX S-1 beadványa egy havi 1,25 milliárd dolláros megállapodást tárt fel az Anthropickal AI-szolgáltatásokra.

Anthropic kreatív eszközök: Az Anthropic olyan integrációkat mutatott be, amelyekkel Claude közvetlenül kapcsolódhat az Adobe alkalmazásokhoz, a Blender-hez és az Ableton-höz, kiterjesztve jelenlétét a kreatív munkafolyamatokra.

Megosztás