Tag

badania

22 artykuły

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
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
Baltic AI GigaFactory - szansa dla Poznania

Baltic AI GigaFactory - szansa dla Poznania

Baltic AI GigaFactory (BAIGF) to wspólna inicjatywa Polski i państw bałtyckich, zgłoszona do KE w 2025 r. Projekt zakłada budowę zielonej infrastruktury HPC dla trenowania i wdrażania dużych modeli AI. Sprawdź, dlaczego Poznań jest w grze.

7 lut 202616 min