Was the term "frontier mathematics" always in use, or did it just become a thing after the advent of contemporary AI?
It's been in use far longer than LLMs. Thought I'm not exactly sure when it came into common use. I'm pretty sure I've heard the term on Nova decades ago.
Google trends shows it spiking last year: https://trends.google.com/explore?q=frontier%20mathematics&d...
It's been in use far longer than LLMs. Thought I'm not exactly sure when it came into common use. I'm pretty sure I've heard the term on Nova decades ago.
Google trends shows it spiking last year: https://trends.google.com/explore?q=frontier%20mathematics&d...