Anthropic osiągnęło postępy w badaniach nad hipotezą Riemanna z użyciem nieopublikowanego modelu

Anthropic ujawnia, że nieopublikowany model osiągnął postępy w badaniach nad hipotezą Riemanna, a wyniki zostały potwierdzone przez wewnętrznych matematyków firmy i sformalizowane przy użyciu otwartego narzędzia dowodowego Lean. Model został przetestowany przez pracownika z niewielkim doświadczeniem w matematyce, który po około półtorej dnia intensywnej współpracy przetestował 650 różnych podejść, angażując 60 podagentów do podziału zadań. W szczególności 2 podagenci odpowiadało za przedstawienie kluczowych pomysłów matematycznych, 13 podagentów uzupełniało kluczowe pomysły, a 13 podagentów weryfikowało poprawność wniosków. Wraz z rosnącą liczbą takich wyników, dyskusje w środowisku matematycznym na temat udziału AI w dowodzeniu również się zaostrzają. OpenAI niedawno ogłosiło 10 ważnych wyników matematycznych uzyskanych przez wewnętrzny model, a inny projekt Anthropic obalił długoletnią hipotezę Jacobiana. Hipoteza Riemanna wciąż nie została udowodniona, a na jej dowód wyznaczono nagrodę w wysokości 1 miliona dolarów.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.