1
2
The Maxwell conjecture is false. Counterexample found by AI (GPT-5.6 Sol)
GPT-5.6 给出 Maxwell 猜想反例，AI 在数学推理领域的又一重要突破，值得深入了解
Article URL: https://xcancel.com/antibot/captcha Comments URL: https://news.ycombinator.com/item?id=49121313 Points: 2 # Comments: 2
3
Claude used my pipeline to find a counterexample to the Jacobian conjecture
用开源pipeline，Claude成功找到雅可比猜想反例，AI数学研究新里程碑。
About a month ago, I released under CC0 an implementation of a pipeline I had spent two years developing. It’s the pipeline Claude used to find the co…
4
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
数学大师陶哲轩与ChatGPT深度探讨雅可比猜想反例，AI在严谨数学推理中展现潜力与局限的生动案例。
Article URL: https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56 Comments URL: https://news.ycombinator.com/item?id=49010345 Points: 495 # …
5
Counterexample Guided Learning in the Large using Reasoning Agents
用推理智能体在大型数据集中实现反例引导学习，提升模型鲁棒性与泛化能力。
arXiv:2606.11521v1 Announce Type: new Abstract: LLMs and LLM agents should improve when given feedback, but identifying when they are able to do so is…