autonomous-ai

Genesis AI 声称其新模型 Gene'26.5 是自主的。

Hugging Face 打造了一个自主 AI 智能体，可连续运行数小时至数天，通读 HF Hub 上的每篇论文、每个模型和数据集，生成最优后训练配方。

# Bolzano：LLM辅助数学研究的案例研究 来源：[https://arxiv.org/html/2604.16989](https://arxiv.org/html/2604.16989) Jan Grebík1、Pavel Hubáček1,2、Martin Koutecký1、Matěj Kripner3、Václav Rozhoň1、Robert Šámal1、Adrián Zámečník1 1 布拉格查理大学计算机科学研究所 2 捷克科学院数学研究所 3 布拉格查理大学形式与应用语言学研究所 ###### 摘要 我们报告了在数学与理论计算机科学领域六个问题上取得的新成果……

本文研究了自主主权代理——一种能够无需人类干预自主维持自身运行的人工智能系统，分析了其技术障碍，并探讨了部署过程中涉及的关键安全、社会及治理挑战。

Mercado Libre 推出 Verdi，一个由 GPT-4o 驱动的 AI 开发平台，使开发者能够构建大语言模型应用，重点关注自主客户服务调解。该平台已处理主要网站上 10% 的客户服务纠纷，有潜力管理年度 4.5 亿美元的决策。