50多小时和1亿多token后，开源自主智能体在解决开放数学问题上越来越近

这个实验正在进行中，你可以在这里检查所有内部推理、记忆和尝试：https://artificium-covering-experiment.gr.bio/ 智能体试图解决的问题是一个覆盖设计问题：https://en.wikipedia.org/wiki/Covering_design 称为C(25,15,5)，当前最佳解决方案使用42组，开放问题在于寻找更好的解决方案，当前目标是实现41组。 我选择这个实验的原因是验证解决方案是否正确非常简单。网站上有一个实时检查器，可以独立验证解决方案是否正确。 到目前为止，已运行52多小时，处理了106,406,666个token。 由于为自主工作和持续学习创建的工具框架，它总是尝试新方法并从错误中学习：https://github.com/officialgr/agent-artificium 你可以查看其公开笔记或检查内部推理、记忆和生命循环。 正如你所见，从一开始它就一直在找到越来越好的解决方案，目前最佳解决方案是44，如果它能够达到41，这将是开源智能体首次在数学研究上取得突破。 我相信，如果一个开源智能体（开源模型+工具框架）能够解决这个问题，那将是本地开源AI的一个重要时刻，因为整个实验可以在消费级硬件上重现（我在runpod上使用5090，但也可以在3090上完成，因为它由qwen 27B 3.8驱动） 如果你喜欢这个实验并认同我对开源自主研究的愿景，请考虑通过捐赠或计算资源支持我，另外，如果你是公司并希望合作/赞助，可以在gr.bio找到我的电子邮件。