[deadbabe]

It’s actually really sexist that when the first truly intelligent AI emerge people would now give them male names.

[renewiltord]

Yes. It is pity that common male name of o5-pro-mini is used to refer to AGI instead of widespread female name Deepseek R7.