On: Sharing AI progress in mathematics

[lisplist]

I'm not a very good mathematician, but I do know a fair bit about software engineering, and with AI I've been busier than ever. I probably wouldn't be so busy if AI was better at anticipating what I actually wanted rather than making guesses no human would ever make.

This is just a short term problem though. Eventually AI will get pretty good at figuring out exactly I want and it will build that from the start. The requirement of me reviewing the AI output only lasts as long as models stay bad at anticipating my needs, which I don't think will take too much longer.

[Aperocky → lisplist]

There's a hidden problem you skipped over. The model may get good at anticipating your needs, but are you good enough at anticipating your needs?

[lisplist → Aperocky]

This is a fair point. Maybe models become better than me at predicting what I need.