87 лет загадки. Claude помог найти контрпример в одной из главных математических гипотез
如果测试证实了计算结果，那么现代数学最古老的假设之一将是错误的。
人工智能通常被描述为一种通过取代熟练工人来降低成本的技术，但眼科提供了一个有趣的反例。人工智能现在可以执行一项相对常规的任务，即筛查糖尿病患者是否患有糖尿病视网膜病变，而无需眼科医生对每位患者进行检查。在 ACCESS 随机试验中，在糖尿病就诊期间提供自主 AI 眼科检查将筛查完成率从传统转诊的 22% 提高到了 100%。在 AI 结果异常的患者中，64% 的患者随后去看了眼科护理人员。因此，人工智能取代了一些眼科医生的劳动力，同时大大增加了通过眼保健供应链第一阶段的患者数量。 (Nature)AI降低了筛查→转诊→治疗供应链中某一环节的成本。成本的降低不一定表现为总体费用的降低。相反，它可
A Simplified View of the Jacobian Conjecture
完整的猜想是在抽象域上陈述的，但反例是一个具体的 3D 函数，我们可以使用熟悉的几何思想和一点代数来解释和可视化它。雅可比猜想的简化视图首先出现在走向数据科学上。
AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula
人工智能辅助的反例反驳了二维以上的雅可比猜想，同时保留了其原始的二维形式。就在国际足联世界杯决赛结束后数百万人安顿下来时，一个短到足以容纳 X 上单个帖子的公式在数学界引起了一阵兴奋。莱文特阿尔普格 (Levent Alpöge)，[...]
一位数学家宣布他使用了 Anthropic 的 A.I.模型来寻找雅可比猜想问题的反例。虽然专家们认为这是一个里程碑，但这项工作提出了关于数学研究未来的问题
AI’s solution to 87-year-old riddle takes mathematicians by surprise
近一个世纪以来，数学家们一直在试图证明雅可比猜想，但现在克劳德寓言5 AI显然找到了反驳它的反例
