Terence Tao, problemy Erdősa i AI
opowiada jak AI pomaga w dowodzeniu twierdzeń matematycznych.
Chcemy dowiedzieć się, jak korzystacie ze strony i co możemy w niej poprawić. Aby nam w tym pomóc, pozwól nam korzystać z narzędzia analitycznego (GA4).