ParentFull threadlanstin·And OpenAI and some math researchers and an Anthropic employee are squabbling about credit.Big day and shows the ability of the models for counter-examples.View on HN