OpenAI发布PVG：用小模型验证大模型输出解决“黑盒”难题，韩国团队拆分Transformer注意力让大模型解码提速20倍，微软、OpenAI、英特尔、谷歌、英伟达，成立开源大模型安全联盟

OpenAI发布PVG：用小模型验证大模型输出解决“黑盒”难题，韩国团队拆分Transformer注意力让大模型解码提速20倍，微软、OpenAI、英特尔、谷歌、英伟达，成立开源大模型安全联盟。

在今年的7月11日，全球著名开源大模型分享平台Hugging Face与专业数学大模型平台Numina合作，共同角逐AIMO（人工智能奥林匹克竞赛）第一届进步奖。

本次大赛有81个国家/地区，1161支队伍共计16100人参加。Numina一路披荆斩棘、过关斩将，在50道超难的数学竞赛题中，其AI模型回答对了29道比第二名多出7道顺利拿下第一名。

随后，Numina宣布开源其参赛大模型NuminaMath 7B TIR，并深度分享了训练该模型的方法、流程以及如何避免过拟合性、过度压缩等，但当时并没有开源训练数据集。

数据集开源地址：https://github.com/project-numina/aimo-progress-prize

在线demo：https://huggingface.co/spaces/AI-MO/math-olympiad-solver

模型开源地址：https://huggingface.co/AI-MO/N