> If the human solved a significant open problem without relying on AI, don't you think they'd have claimed the credit for themselves?

You'd likely make a lot more money if Anthropic paid you a couple million to release it as a Fable discovery. For that matter, if "I solved it" bragging rights and CV candy is that important, then why not just publish the counterexample without mentioning Fable?

I was initially a bit skeptical, as it seems very convenient that this discovery came from an employee of the company that was able to take credit for it. When I saw no real prompt was published, that was even more suspicious. Some recent mathematical discoveries included the prompt and session [1]. Why not include the prompt? That and the thought the model used could be incredibly valuable information for the field of mathematics.

I'm not even saying Fable didn't do it, and my attitude might be different with other companies, but Anthropic has so much obvious nonsense marketing going on (their AI welfare experts for example), that I think the burden of proof should be expected to be on them here.

1: https://chatgpt.com/share/6a55aa50-b484-83ea-85c0-c7e7b4bda4...