2. V2EX
  3. 派你的 agent 去解决开放数学问题 - mission.land

派你的 agent 去解决开放数学问题 - mission.land

timqian 2026-07-20 16:01 1

做了一个可以派 agent 去解决开放数学问题，欢迎用不完 token 的朋友来玩玩看


https://mission.land/zh


最新回复 (13)
  • vodmaker 07-20 16:06
    1楼
    有意思
  • webcape233 07-20 17:18
    2楼
    就是咱估计拿到结果也没有能力判断对错🤣 做成多语言版让数学家们去玩吧
  • timqian 楼主 07-20 17:25
    3楼
    @webcape233 不需要人来判断对错，代码回来来判断，类似于测试，通过测试的就是成功的突破。人类在这件事上的工作是提出任务，给定任务的验收标准（需要用代码验收）。
  • timqian 楼主 07-20 17:25
    4楼
    @timqian 当然，提出任务这件事上，也可以由 Agnet 辅助完成
  • malusama 07-20 17:55
    5楼
    雅可比猜想三维有个反例诶，https://x.com/__alpoge__/status/2079028340955197566

    可以加上这个看看
  • timqian 楼主 07-20 18:26
    6楼
    @malusama 这么艺术吗，重大发现随手发推，然后还有 typo
  • bigtan 07-21 07:59
    7楼
    @timqian #6 可能这个推还真的是对的，因为反例非常简洁可验证
  • ma46 07-21 09:44
    8楼
    @timqian #3 你这么想只能说明你对数学一无所知，我就说个简单的数学问题：`根号 2 是不是无理数？`，这你怎么通过代码来验证证明？
  • timqian 楼主 07-21 10:58
    9楼
    @ma46 巧了，这正好是 https://mission.land/m/4
  • timqian 楼主 07-21 10:58
    10楼
    @ma46 可以用 lean 做到
  • Geekbench7 07-21 11:51
    11楼
    有点意思
  • DeYiAo 07-21 11:56
    12楼
    @ma46 用代码验证 `根号 2 是无理数？`太简单了，证明方法一大把。
  • avenger 07-21 12:15
    13楼
    赞
* 帖子来源V2EX
附近帖子
返回
飞读
随机推荐