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









