matematyka

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.

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.

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

Rewolucja w narzędziach pracy naukowej – znaczenie powstania Prism Współczesna nauka rozwija się w tempie, które jeszcze niedawno wydawało się niereal…