翰林文苑 (@hanlinwenyuan) 在 来一道所有AI中只有deepseek r1小概率做对的题 中发帖
问题:
证明方程 (a/(b+c)) + (b/(a+c)) + (c/(a+b)) = 4 存在正整数解。
[image]
答案为a=154476802108746166441951315019919837485664325669565431700026634898253202035277999,b=36875131794129999827197811565225474825492979968971970996283137471637224634055579,c=4373612677928697257861252602371390152816537558161613618621437993378423467772036
(a,b,c可互换,deepseek的答案就互换了顺序)
[image]
o1 直接否定了命题 🤣