Pokroky v matematice a teoretické informatice
Anthropic a OpenAI přinášejí nové přístupy k řešení dlouhotrvajících matematických problémů.
V poslední době se objevily zajímavé pokroky v oblasti matematiky a teoretické informatiky, které jsou spojeny s úsilím firem jako Anthropic a OpenAI.
Podle dostupných informací Anthropic objevilo kryptografické slabiny pomocí svého modelu Claude a investovalo 100 000 dolarů do tokenů. Tento krok ukazuje, jak AI může být využita k identifikaci a analýze složitých problémů v oblasti kryptografie.
Na druhé straně OpenAI použilo interní verzi svého modelu Astra k hledání řešení deseti matematických problémů, které nebyly vyřešeny po dobu alespoň deseti let. Utracené náklady na každý z těchto problémů se pohybovaly pod 2 000 dolarů.
OpenAI také zveřejnilo Lean 4 formalizace svých výsledků v repozitáři openai/ten-proofs. Tento krok zvyšuje transparentnost a umožňuje dalším výzkumníkům ověřit a rozvíjet dosažené výsledky. Kromě toho matematik Kirwin Hampshire publikoval esej s názvem "The Dark Night of Mathematics", ve kterém reaguje na současné výsledky.
Terence Tao, renomovaný matematik, popisuje AI jako katalyzátor pro zásadní změnu v matematice. Věří, že AI může přispět k decentralizovaným spolupracím mezi lidmi a stroji, kde lidé se zaměří na kreativní aspekty a AI se postará o technické úkoly.