Hú, most megint volt pár érdekes mestint hír.
Most volt a nemzetközi matek olimpia, a sima, mindenki számára elérhető fable, gpt 5.6 sol, kimi k3 és még egy direkt lean-be formalizáló modell is tökéletesen megoldott minden feladatot. Eszméletlen.
Sorra oldják az Erdős problémákat a nyílt modellek, meg egy Jacobi sejtés nevű feladat is megadta magát egy egyszerűnek látszó ellenpéldának. Egészen sok ellenpéldát generáltak mostanában a modellek, valami eszméletlen finoman behálózhatták már a matematikai jellegű gondolatok terét, lassan már azzal kell őket promptolni, hogy egy szuper mesterséges intelligencia vagy aki csak úgy a kisujjából rázza ki a megoldásokat, nem lennél szíves egy kicsit odafigyelni erre a kis feladatocskára?
Egy csomó ingyenes modell jelenik meg még mostanában is, a kínaiak is nagyon belehúztak, állítólag az egyik modellt egy kajakiszállítással foglalkozó cég dobta ki, akik teljesen saját infrastruktúrát építettek, 50000 asicet programoztak be a tanítási algoritmusra. Meg persze az amerikaiak is mozgolódnak azért, mindenki be van szarva, ha tényleg az antropik és az ópenéjáj dominálja le ezt a dolgot, akkor a kapitalizmus szabályai mellett mindenki más kihalásra van ítélve. Sír is az antropik főként, hogy a gonosz konkurencia ellopja a modelljüket, mintha már maga a használat nem lopná el belőle a tudást (és persze nem lopással szerezték volna ők is az első adag adatot amire az első modelleket betanították). Vicces, de Kína a szabadság legnagyobb védelmezője mostanában, reméljük meg is tartják ezt a jó szokásukat még sokáig.
Demó.
Zene.
AI.
Nincsenek megjegyzések:
Megjegyzés küldése