整数智能AI研究院

整数智能斩获CCTV“2025中国AI创业十骏”，将继续秉持“人工智能行业的数据合伙人”的理念，持续推动AI最前沿领域的研究与应用。

5月29日，整数智能、2077AI开源基金会与量子位共同举办了一场围绕形式化证明、大模型与AI数学未来的技术圆桌。这是本次直播的回顾。

FormalMATH为学术界和工业界提供了最新一代的严苛检验平台，推动AI自动数学推理能力持续向更广泛、更深层的知识挑战演进。

5月17日，整数智能受邀参加2025数据安全发展大会，并在会上进行中国数安港入驻重点企业项目签约仪式。

2025年4月24日，由民建浙江省委会、浙江省工商联、中国投资发展促进会主办的第九届万物生长大会在杭州顺利举行。大会发布《2025浙江独角兽企业系列榜单》。

新年伊始，“杭州六小龙”爆火出圈，展现了杭州在大模型、算力、基础软件等领域的新锐力量。然而，杭州的AI版图远不止六小龙，一大批在细分领域崭露头角的创新公司也在快速涌现，为这座城市注入了澎湃动力。

2025年4月11日，钱江世纪城第四届“世纪云想”企业年度路演活动在杭州成功举办。来自数字经济、信息技术及商贸等领域的18家优秀企业代表齐聚一堂。

2025第九届大会发布浙江独角兽培育体系，杭州AI生态全景亮相。整数智能创始人荣获第九届万物生长大会颁布的“新锐创业之星“

在本期Agent开源数据集分享中，我们整理了多个Agent开源数据集，涵盖网页操作、软件工程等多个任务和计划、多步推理、反思等多个核心能力。