[#23] Using typewriters in the era of laptops: a glimpse into the future of academia

He talked about the tools offered now by AI for research, including coding and writing (chatGPT), grammar checking (grammarly), literature review (connected papers), and theorem proving (LEAN). Check out his slides.

In the second part of his talk, Danilo discussed what the future in AI holds for us researchers. He believes that AI will generate theorems and proofs. Future AI tools will also be capable of automatically verifying research results, potentially leading to automation in the reviewing process.

And what about creativity? Can machines have ideas as humans do? The following discussion diverted to this topic, very controversial and probably the one we are most afraid of. Even if we found out that AI can be creative (with creativity being a concept that is not yet well defined), will we accept it as original work? Would you read a paper produced entirely by AI? Share your thoughts on Bluesky!