Kategoria

Matematyka

3 artykuły

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

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

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