日期: 2025 年 6 月 18 日
MiniMax-M1：全球首个开源权重的大规模混合注意力推理模型，专为处理长输入和复杂任务而生
全球首个开源权重的大规模混合注意力推理模型MiniMax-M1发布，支持100万token上下文长度，计算效率提升75%，在复杂任务中表现卓越。
开源AI图像修复神器！狂揽21K+标星，擦除、替换、扩展一键搞定！
一款基于最新SOTA AI模型的开源图像修复工具IOPaint，提供智能擦除、对象替换、文本编辑等功能，通过Web UI和命令行轻松使用。
形式化证明迈向多模态，MLLM正确率仅4%！港科大等推出全新基准
香港科技大学推出MATP-BENCH基准测试集，评估多模态大模型在处理包含图像和文本的几何定理证明中的能力。实验发现尽管模型在将图文信息转化为形式化定理方面有一定能力，在构建完整证明时面临复杂逻辑推理和辅助线构造等重大挑战。
亚马逊CEO：坚信AI Agent，能改变世界工作、生活方式
专注AIGC领域的专业社区分享了微软&OpenAI等大语言模型的发展和应用。亚马逊CEO Andy Jassy强调智能体会改变工作和生活方式，并在公司内部积极应用生成式AI提升效率，未来员工总数可能减少。
OpenAI获五角大楼2亿美元订单，迈向军工领域
专注于AIGC领域的专业社区分享微软&OpenAI、百度文心一言等大语言模型的发展和应用。OpenAI推出面向美国政府的AI工具计划，助力政府采用先进技术服务公众，首个合作伙伴是国防部五角大楼试点项目。
谷歌助力神经科学飞跃，破解斑马鱼全脑活动密码
专注AIGC领域的专业社区介绍，并阐述了ZAPBench在神经科学和机器学习交叉领域中的突破。ZAPBench是一个用于预测斑马鱼全脑活动的基准测试平台，基于其70,000个神经元的数据集，包含4D光片显微镜记录。
