Hacker News new | past | comments | ask | show | jobs | submit
lozenge | on: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
It is lean-verified, so it can be trusted unless the Lean statement of the hypothesis is not an accurate description of the hypothesis.