Malá slova. Velké myšlenky. Objevuj s námi.
objevárium✳Začít objevovat
Tvůj průvodce objevy

Velké objevy.
Malými slovy.

Umělá inteligence mění svět vědy. My ti ukážeme co přesně objevila, proč na tom záleží a co už skutečně funguje — tak, aby tomu rozuměli i malí zvídavci.

Prozkoumat objevy Jak to funguje
Bez senzací, bez zamlčených otazníků.
Fakta, zdroje a otevřené otázky.
9příběhů poznání
4vědní oblasti
100 %s veřejnými zdroji
Živý atlaskontrola 28. října 2026
✳   NEPŘEHLÉDNI
01   /   PRŮLOM, O KTERÉM SE MLUVÍ

Dvě nezávislé AI přišly s algoritmy zpochybňujícími hypotézu ETH

Představ si spoustu vypínačů. Každý může být zapnutý nebo vypnutý. Některé jejich kombinace splňují pravidla hry. Když vypínačů přibývá, počet kombinací roste ohromně rychle. Vědci předpokládali, že určité těžké hry nejde spočítat dostatečně rychle.

Formální důkazOpenAI a Anthropic (dvě samostatné práce)
Přečíst celý příběh
✳   KNIHOVNA OBJEVŮ

Vydej se za poznáním.

Každý příběh má jednoduché vysvětlení i poctivou cestu do hloubky.

9 objevů k prozkoumání

✳
Matematika·26. října 2026

Dvě nezávislé AI přišly s algoritmy zpochybňujícími hypotézu ETH

OpenAI a Anthropic 26.–27. října zveřejnily dvě samostatné AI vytvořené práce s tvrzením, že pro 3-SAT existují subexponenciální algoritmy, což by vyvrátilo hypotézu ETH. Obě práce mají formální důkazy v Leanu, ale úplné nezávislé odborné posouzení a kontrola souladu matematických tvrzení s formalizací stále probíhají. Praktické zrychlení běžných úloh zatím doloženo není.

Formální důkazZatím hlavně teorie
OpenAI a Anthropic (dvě samostatné práce)Prozkoumat
✳
Fyzika·26. října 2026

AI tvrdí, že položila pevnější základy kvantové fyziky

AI podle OpenAI připravila rigorózní důkazy existence některých čtyřrozměrných kvantových teorií pole včetně QCD a čisté Yangovy–Millsovy teorie. Materiály zkoumají externí fyzici.

Prověřuje seZatím hlavně teorie
OpenAIProzkoumat
✳
Matematika·26. října 2026

AI našla nový důkaz o tom, jak se soustřeďují vlny

OpenAI zveřejnila AI vytvořený důkaz hypotézy lokálního vyhlazování ve všech dimenzích; podle oznámení z něj plynou také výsledky pro Kakeyovu a Steinovu hypotézu.

Formální důkazZatím hlavně teorie
OpenAIProzkoumat
✳
Biologie·16. října 2026

Téměř 2 000 AI agentů prozkoumalo miliony mozkových buněk za 32 minut

Vědci rozdělili rozbor již existujících dat z milionů mozkových buněk myší mezi 1 946 AI agentů. Podle studie proběhla analýza za 32 minut a nabídla nové, dosud experimentálně nepotvrzené hypotézy o TSC1/TSC2 a o spojení DCTN1 s metabolismem cholesterolu. Jde o preprint, nikoli o nový lék.

Prověřuje seNástroj pro výzkum
Scripps Research, PerturbAI a OpenAIProzkoumat
✳
Fyzika·8. září 2026

AI možná vyřešila 90 let starou záhadu proudění vody

OpenAI zveřejnila důkaz a formalizaci, že za určitých podmínek mohou rovnice proudění tekutiny vytvořit singularitu v konečném čase.

Formální důkazZatím hlavně teorie
OpenAIProzkoumat
✳
Biologie·8. září 2026

AI připravila mapu devíti miliard možných změn lidské DNA

Veřejný výzkumný nástroj nabízí modelové předpovědi molekulárních účinků přibližně devíti miliard jednopísmenných variant lidské DNA.

Využívá se v praxiNástroj pro výzkum
Google DeepMindProzkoumat
✳
Matematika·20. května 2026

AI vyvrátila 80 let starou domněnku o bodech na papíře

Model sestrojil novou nekonečnou rodinu konfigurací bodů, která překonala dlouho přijímaný odhad počtu dvojic ve vzdálenosti přesně jedna.

Nezávisle prověřenoZatím hlavně teorie
OpenAIProzkoumat
✳
Technologie·7. května 2026

AI sama vylepšuje algoritmy, které už používají firmy

AlphaEvolve navrhuje a automaticky testuje nové algoritmy. Některá zlepšení už byla podle Googlu nasazena do infrastruktury, výzkumu DNA i průmyslových úloh.

Využívá se v praxiUž pomáhá v praxi
Google DeepMindProzkoumat
✳
Biologie·9. října 2024

AI naučila vědce předpovídat tvary bílkovin

AlphaFold dramaticky proměnil předpověď 3D struktury proteinů; databáze nabízí přes 200 milionů předpovězených struktur a využívají ji miliony vědců.

Nezávisle prověřenoUž pomáhá v praxi
Google DeepMindProzkoumat
✳   JAK ČÍST OBJEVY

Velké otázky.
Jasné odpovědi.

Nejdřív objevu porozumíš. Potom můžeš pokračovat k důkazům, omezením a skutečným aplikacím.

Vybrat si příběh
1. Pochopíš to

Hravé přirovnání a jednoduchý jazyk.

2. Půjdeš do hloubky

Výsledky, podmínky, odborné detaily a limity.

3. Zjistíš, co je ověřené

Důkaz, nezávislá kontrola a nejistoty odděleně.

4. Uvidíš skutečné využití

Konkrétní praxe, nikoli jen sliby do budoucna.

✳   DŮVĚRA A OVĚŘOVÁNÍ

Ne každá velká zpráva
je hotový objev.

Proto u nás nesplyne velké tvrzení, formální důkaz a reálné použití v jednu věc.

01

Zveřejněné tvrzení čeká na nezávislé potvrzení

Výsledek oznámil výzkumný tým. Nebereme jej jako definitivně uzavřenou vědeckou otázku.

02

Strojově ověřený důkaz, odborná diskuse pokračuje

Matematický kontrolor ověřil formální tvrzení. Vědci ještě musí posoudit jeho význam a shodu se slovně formulovaným problémem.

03

Zkontrolováno nezávislými odborníky

Externí odborníci zveřejněný výsledek posoudili. To neznamená, že už známe všechny jeho důsledky.

04

Praktický výsledek už byl nasazen nebo používán

Existují konkrétní příklady využití. Uváděná čísla mohou pocházet od organizace, která systém vyvinula.

✳
O PROJEKTU

Věda patří všem.

Objevárium převádí složitý výzkum do srozumitelné češtiny. Nevynechává přitom známé nejistoty ani odkazy na původní zdroje. Aktualizace neznamenají, že jsme přečetli úplně všechnu světovou vědu — u každého článku proto najdeš datum poslední kontroly.