Abstract:
- Si dice che l'intelligenza artificiale e la formalizzazione rivoluzioneranno la matematica, i computer supereranno presto gli esseri umani nella risoluzione di problemi. Non più ricerca per la dimostrazione dei teoremi, ma guida dei computer che produrranno dimostrazioni per noi. Come può un giovane matematico in carriera prepararsi per affrontare le sfide della matematica del futuro? Dovrà apprendere le tecniche Lean o machine learning?
- You've heard the buzz: AI and formalization will revolutionize mathematics. Computers will soon surpass humans in solving olympiad-style problems. Humans will transition from proving research-level theorems on their own to guiding computers. And maybe you even believe the hype. Other than pulling out your hair waiting for the day when computers take your job, what can you do? If you are like most career mathematicians, you are already overwhelmed with too many academic responsibilities, reserving any precious spare work hours for research. Where are you going to find the time to learn Lean or machine learning techniques?
Link identifier #identifier__31224-1Locandina