19:53shao__meng@shao__meng陶哲轩与ChatGPT讨论Jacobian猜想反例时,展示了专业能力的重要性。他的消息极短,只回应要点,模型输出也明显更简洁。他避免直接否定,用方向性引导,并提出自己的建议。模仿这些行为无法达到陶的效果,前提是他真的懂数学。技巧提示词工程ChatGPT陶哲轩推荐理由:陶哲轩案例证明:专业能力才是用好AI的关键,技巧只是表象。原文稍后读已读值得跟进有用关注 提示词工程
22:16elvis@omarsar0网友 @omarsar0 在推文中称,其 LLM 模型 Fable 找到了 Jacobian 猜想的一个反例:映射 ((1+xy)^3 z + y^2 (1+xy)(4+3xy), y + 3x(1+xy)^2 z + 3xy^2(4+3xy), 2x - 3x^2 y - x^3 z) 的 Jacobian 行列式为 -2,且将 (0,0,-1/4)、(1,-3/2,13/2)、(-1,3/2,13/2) 均映射到 (-1/4,0,0)。作者认为标准基准测试不足以衡量 LLM 的真实能力,LLM 在解决极端难题上被低估了。AI模型FableJacobian猜想数学推理推荐理由:Fable 这个 LLM 自己找到了一个复杂数学猜想的反例,比很多基准测试中的题目难得多,值得关注。原文稍后读已读值得跟进有用关注 Fable