https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed...
I think the fact that this is on the front page is proof that no one reads or understands the articles submitted here.
Claude Fable produced a counterexample to the Jacobian Conjecture
https://news.ycombinator.com/item?id=48973869
Human mathematicians are being outcounterexampled
greenavocado•55m ago
fhdkweig•19m ago
hyperhello•17m ago
minimaxir•15m ago
However, if you tell it to not do particular behaviors explicitly—some of which would be considered mistakes—it will not do said behaviors and with enough checks and balances, you'll get output without "mistakes".
One example of this from the OpenAI Unit Distance prompt: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
> Do not return merely because current approaches fail or agents report theorem-strength gaps. Continue launching new rounds, reopening blocked approaches only when there is a genuinely new mechanism, and searching for fresh formulations. Return only when a complete affirmative proof has been found and survives adversarial audit.
> Do not return a reduction, partial result, isolated missing lemma, “best effort” summary, or explanation of why the problem is difficult.
jewel•13m ago
saganus•12m ago