-
DeepSeek-Prover-V1.5 – 70亿参数的开源数学大模型
DeepSeek-Prover-V1.5项目简介 DeepSeek-Prover-V1.5是由DeepSeek团队开发的开源数学大模型，拥有70亿参数。模型通过结合强化学习（RLPAF）和蒙特卡洛树搜索（特别是RMaxTS变体），在数学定理证明方面取得了显著的效率和准确性提升。在高中和大学级别的数学问题上，DeepSeek-Prover-V1.5在Lean 4平台上的表现超越了其他所有开源模型，创…- 0
-
Eagle 2.5 – 英伟达推出的视觉语言模型
Eagle 2.5项目简介 Eagle 2.5是英伟达推出的视觉语言模型，专注于长上下文多模态学习的 AI 模型，参数规模仅为 8B。参数量较小，但在处理高分辨率图像和长视频序列方面表现出色，性能媲美参数量更大的 Qwen 2.5-VL-72B 和 InternVL2.5-78B。Eagle 2.5 采用创新训练策略：信息优先采样和渐进式后训练。信息优先采样通过图像区域保留和自动降级采样技术，确保…- 0
-
LM Studio – 开源、傻瓜、一站式部署本地大模型 (LLM) 的应用平台
LM Studio项目简介 LM Studio 是一个本地大语言模型 (LLM) 应用平台，开源、傻瓜、一站式部署本地大模型。包括但不限于Llama、MPT、Gemma等，LM Studio 提供了一个图形用户界面（GUI），即使是非技术人员也能轻松地使用大型模型。还提供了一个命令行界面（CLI），满足技术人员的需求。LM Studio 还支持同时运行多个AI模型，并通过“Playground”模…- 2
-
ReasonGraph – 开源可视化与分析LLMs推理过程的AI工具
ReasonGraph项目简介 ReasonGraph 是用在可视化和分析大语言模型（LLMs）推理过程的开源网络平台。ReasonGraph支持超过 50 种主流模型（如 Anthropic、OpenAI、Google 等），涵盖多种推理方法（包括顺序推理和树形推理）。基于直观的用户界面，ReasonGraph 将复杂的推理路径转化为清晰的图表，实时更新推理过程，帮助用户快速理解 AI 的思考逻…- 2
-
NMT – 阿里联合 UC Berkeley 推出的多任务学习框架
NMT项目简介 NMT（No More Tuning）是UC Berkeley和阿里巴巴集团联合推出的多任务学习框架，能解决多任务学习中不同任务优先级优化的问题。NMT将多任务学习问题转化为约束优化问题，将高优先级任务的性能作为约束条件，在优化低优先级任务时保持高优先级任务的性能。NMT基于拉格朗日微分乘数法，将约束问题转化为无约束问题，并用梯度下降法求解，避免传统方法中复杂的超参数调整过程。NM…- 1
-
AI视频优质创作案例旅行文化如何被网红经济改变 AI史蒂夫对话《瓦尔登湖》作者大卫梭罗
视频简介： 旅行和科技之间的关系，以及网红经济对旅行方式的影响，作者认为现代旅行方式过于追求效率和打卡，失去了旅行的意义和深度。但科技也让人们更容易获取信息，看到更多旅行者应该注重在旅途中的认识和心境，而不是目的地。作者也提到了自己的隐居经历和对旅行方式的看法。最后，作者希望人们的旅行不再像玩游戏。 对于现代旅行方式的不满,强调了旅行中的经历和心境,而非目的地的重要性。 视频时间轴: 00:01旅…- 0
-
超强AI音频生成图像工具「Music To Image」体验测评：我让AI听完周杰伦的歌，它还把歌里的故事画了出来
AI音频生成图像工具： 工具介绍：「音生图」应用，只要上传一段音乐，它就能根据音乐旋律和歌词，生成一张对应意境的图片。将音频上传到模型，自动将音频生成文本描述，然后使用Llama2大模型将其转换为说明性的图像描述，最后运行Stable Diffusion XL以从音频生成图像！ 工具链接：https://www.aieva.cn/sites/1303.html 2023年AIGC的浪潮奔涌而来，让…- 1
-
OminiControl – AI图像生成框架，实现图像主题控制和空间精确控制
OminiControl项目简介 OminiControl是高度通用且参数高效的图像生成框架，为扩散变换器模型如FLUX.1设计，实现对图像生成过程的精细控制。OminiControl支持主题驱动控制和空间控制，例如边缘引导和绘画生成，仅需在基础模型中增加0.1%的参数。OminiControl能将提供的素材主体无缝融入新生成的图片中，同时保持图像的高质量和主题的一致性。OminiControl提…- 1