>what the world-class 2 mathematicians did was sat down and started working on their proof for over a year

If they were not related to anthropic I'd probably agree with you. OpenAI is much more for science than they are imo. Anthropic culture is all about "machine go brrrr" more than all of the other labs. If they had access to better models they'd probably would've one-shotted the solution. When the creator of bun was just "vibe-sciencing" it was ok. There is little to no evidence that they've been working using AI in this problem for over a year. Maybe they've been working on the problem for decades. So many other scientist have. Are they better because they threw a prompt and let it go brr??

When we put this in the perspective of how agents are changing the landscape of math/science, true it is shitty and weird. When folks are saying these scientists by anthropic that vibe-science'd the solution are victims, just because they did it with a smaller model, it is not defensible imo. And credit loses meaning here. The credit is shared with all the scientists that contributed somehow with the data in the AI pre-pos/training and not the prompter.