Remix.run Logo
articulatepang 2 hours ago

What do you mean not serious? He’s developing visual aids to teach students and to accompany his mathematical research papers. Also, not in this post, he’s been actively using LLMs to do real math research, that is, to prove theorems and solve problems.

Teaching, research and publication are the core activities of his job as a math professor. How does it get more serious than this?