数学吧 关注:948,753贴子:9,495,281
  • 7回复贴,共1

四色问题,用AI能解决吗.....

只看楼主收藏回复

以前说是用算出来的,不知现在AI有没有新的思路


IP属地:山东1楼2026-07-26 08:47回复
    好家伙,一个方法,人类就能想这么久,你倒好,让AI给人类两个方法,让AI破解两次


    IP属地:山东来自Android客户端2楼2026-07-26 10:56
    回复
      2026-08-01 05:30:24
      广告
      不感兴趣
      开通SVIP免广告
      不可约构型就那么多,除了穷举,还有别的招?


      IP属地:山西来自Android客户端3楼2026-07-26 12:23
      回复
        你给模形,ai会帮你计算每一种情形的数量。并逐一证明每种情形的图。


        IP属地:贵州来自Android客户端4楼2026-07-26 19:46
        回复
          公开透明的AI才是AI


          IP属地:湖北来自Android客户端5楼2026-07-26 22:38
          回复
            算法的话,dfs就能解,AI Agent写个脚本就能跑出来


            IP属地:中国香港来自iPhone客户端6楼2026-07-27 00:38
            回复
              四色问题我已经解决了鸭


              IP属地:山东来自Android客户端7楼2026-07-27 07:20
              回复
                这个当年就是AI辅助证明的


                IP属地:北京来自iPhone客户端8楼2026-07-27 21:18
                回复