3 ms·
that's not how AI was used in this case. It's more like a professor with assistants. Professor says the assistants - why don't you dig in this direction, I hav
by Romario77 26d ago
that's not how AI was used in this case. It's more like a professor with assistants.
Professor says the assistants - why don't you dig in this direction, I have a hunch it might produce something valuable. And AI assistant does just that, proving or disproving a hunch. This would take the professor a lot of time if doing by themselves.
- pphysch 25d agoYes, and keyboards also save a lot of time over handwriting. Numerical methods and proof engines save even more time. LLMs are just another tool in the kit.