alt Hacker NewsOK, so the two options are:
A) Claude really produced this counterexample
B) A mathematician working for Anthropic solved a problem mathematicians have been working on for more than a century, and then credited it to Claude for PR purposes
If you believe B is more likely, why would you then believe a proof in the form of a chat log, when said chat log could itself have been faked by Anthropic way more easily than solving the mathematical problem in the first place?
Replies
Izkata • yesterday at 4:31 PM
Weirder has happened: https://mathsci.fandom.com/wiki/The_Haruhi_Problem
The concern is that there could have been expert knowledge input, whose importance/worth we are unable to evaluate.
I don’t believe a mathematician produced the counter example secretly, but how much did they contribute to the result?
AI isn’t magic, so to evaluate the value delta, you need to know the value of the input.