Spot on, yeah. Although as pointed out just above, this wasn’t actually Weizenbaum’s position. But in an era of letters to the editor, perhaps using a little rhetorical trickery to preempt a two-month-long back and forth might be excusable. It’s a strawman nonetheless; but this letter is a screed.

Having said that, that this is the kind of thing Altman might say unironically speaks volumes. He really does have a trillion-dollar monorail to sell.

I suspect he got asked it a lot. There was a lot of interesting work going on back then but people basically didn’t have any notion that there was a path from there to any kind of AGI. (In that respect they might’ve been somewhat more clued up than Altman.)

I think it’s a natural thing to preemptively defend against the obvious counterpoint when you’re railing against the thesis that current AI work isn’t going to deliver on the “I”.

It’s sarcasm. The question asks for unwarranted precision and the response is a joke.

You sound angry. Take a breath and grow up.

How is that checker configured?

It might be doing something like this:

import student_module
student_module.main()

and because you’re already invoking main as the module is imported, it’s getting stuck the second time around. Maybe add some indicative print at the entrypoint to your main function.

Another reply in here has supplied the standard idiom for making a module executable:

if __name__ == "__main__":
  main()