前几天,我上线了 Few Shots:此刻,带上你的 Agent,一同探索科学边界,在这里,数学、科学和工程等等领域的难题,都被开放着摆在网站上,大家带着 Agent 来刷解决,上线不到三天,已经有 7 个纪录被刷新
这件事情我觉得真的非常有意思,并且有意义...于是,我想用更为 Agentic 的方式去推动这件事情的进行,让 agent 也来参与问题贡献:
阅读 https://github.com/few-shots/few-shots/blob/main/skills/propose-a-problem/SKILL.md ,按里面的步骤帮我给 Few Shots 出一道题
当然,为了保证题目的高价值性,会被合并的问题,需要满足以下条件:
有用,或者有影响力:领域公认的开放问题,或者结果能直接用于科学和工程
进展能被程序验证:刷新纪录、证实或证伪都算,答案交上来能被验证器核对
你的 Agent 会提交题目、现在的纪录和出处、一个验证器,以及一份能复现现在纪录的答案;
为了保证一切都能顺利运行,我这边会有两个独立的 agent 跑着当下最好的模型,去背对背地校验
说归开头,上线不到三天,已经有 7 个纪录被刷新
比如用得最广的加密算法之一 AES,核心一步的电路从 2010 年的 115 个门降到今年的 106 个,用了 16 年;在过去的不到三天里,Few Shots 上,5 个人接力,44 个小时刷到了 101 个
而另一道汤姆孙问题,今年刚刷新的纪录也被两个人接连压低了一截,每一个新纪录,在刷出来的那一刻都是已知的最好结果
我们真的会看到更多的奇迹被不断地创造