Kategoria

Nauka

14 artykułów

Model OpenAI obalił hipotezę Erdősa z 1946 roku

Model OpenAI obalił hipotezę Erdősa z 1946 roku

Wewnętrzny model OpenAI obalił hipotezę Erdősa z 1946 roku dotyczącą problemu odległości jednostkowej. AI zbudowała konstrukcje dające więcej par jednostkowych niż zakładano, z poprawą rzędu n do potęgi 1 plus δ około 0,014.

26 maj 20264 min czytania

Komputery kwantowe w biologii: co naprawdę oznacza symulacja białka o 12 635 atomach?

Komputery kwantowe w biologii: co naprawdę oznacza symulacja białka o 12 635 atomach?

Artykuł tłumaczy, co realnie oznacza hybrydowa symulacja kompleksów białko-ligand z użyciem procesorów kwantowych IBM oraz superkomputerów Fugaku i Miyabi-G. Dowiesz się, dlaczego modele białek są trudne i czemu to ważny krok, ale nie gotowa metoda projektowania leków.

6 maj 202612 min czytania

Era generatywna

Era generatywna

W latach 2018-2026 modele GPT dojrzewały dzięki skalowaniu i technice RLHF, prowadząc do eksplozji popularności ChatGPT, kluczowe kamienie milowe oraz konsekwencje dla firm, regulacji i ryzyk społecznych.

24 kwi 202614 min czytania

Rewolucja głębokiego uczenia

Rewolucja głębokiego uczenia

Przełom z 2012 roku, gdy zespół z Toronto wygrał ImageNet modelem AlexNet. Dlaczego połączenie dużych danych, GPU, ReLU i dropout uruchomiło rewolucję głębokiego uczenia w latach 2012-2017?

24 kwi 202612 min czytania

Cicha rewolucja statystyczna

Cicha rewolucja statystyczna

W latach 1988-2006 AI odchodziła od logiki i systemów ekspertowych na rzecz podejścia statystycznego. Rola Judei Pearla, sieci bayesowskich i kryzysu, który wymusił zmianę paradygmatu.

23 kwi 202612 min czytania

Narodziny dziedziny i era symboliczna

Narodziny dziedziny i era symboliczna

Narodziny sztucznej inteligencji od warsztatu Dartmouth w 1956 roku, kluczowych badaczy i pierwsze systemy. Podział na podejście symboliczne i koneksjonistyczne oraz jego wpływ na rozwój AI.

23 kwi 202612 min czytania

Matematyzacja myślenia

Matematyzacja myślenia

Esej o latach 1815-1943, gdy logika stała się matematyką. Od algebry Boolea i rachunku rozumowania, przez Fregego, Gödla i Turinga, po model neuronu, który otworzył drogę do komputerów i AI.

21 kwi 202614 min czytania

Maszyna, która udowodniła to, czego nie potrafili matematycy

Maszyna, która udowodniła to, czego nie potrafili matematycy

System AI z Uniwersytetu Pekińskiego rozwiązał hipotezę Andersona dotyczącą pierścieni quasi-zupełnych w około 80 godzin. Jeden agent szukał strategii dowodu, drugi formalizował całość w Lean 4, tworząc 19 tys. linii kodu.

16 kwi 20267 min czytania

Matematyka po cichu zmieniła zasady gry. Sztuczna inteligencja właśnie weszła do laboratorium

Matematyka po cichu zmieniła zasady gry. Sztuczna inteligencja właśnie weszła do laboratorium

AI przestała być kalkulatorem i stała się partnerem w pracy matematyka. Po sukcesie na IMO 2025 i wynikach First Proof 2026 modele wspierają dowody, szukanie błędów i nowe konstrukcje. Poznaj kulisy tej zmiany

15 kwi 202614 min czytania

Nvidia wynosi centra danych na orbitę. Największa infrastrukturalna rewolucja w historii właśnie się zaczyna

Nvidia wynosi centra danych na orbitę. Największa infrastrukturalna rewolucja w historii właśnie się zaczyna

Nvidia zapowiada kosmiczne centra danych i platformę Vera Rubin Space-1. Artykuł wyjaśnia, jak NVL72, NVLink 6 i podejście fabryki AI zmieniają koszty tokenów, skalę POD oraz plany chmur i laboratoriów AI.

15 kwi 20267 min czytania