AI资讯新闻榜单内容搜索-STAR

关键词: GPU,RTX 3090,AI唱歌,模型训练

在一个昏暗的机箱里，一台 RTX 3090 GPU「唱」着经典英语儿歌《一闪一闪亮晶晶》（Twinkle,Twinkle,Little Star）的旋律。

关键词: AI数学,MUSTARD,LLM,大模型, LLMs

近年来，大型语言模型（LLM）在数学应用题和数学定理证明等任务中取得了长足的进步。数学推理需要严格的、形式化的多步推理过程，因此是 LLMs 推理能力进步的关键里程碑， 但仍然面临着重要的挑战。

关键词: AI程序员,GPT-4,SWE-agent,开源AI程序员,普林斯顿AI

不到 24 小时，Star 量突破 1400。

关键词: 星际之门,AI超级计算机,openai,chatGPT,微软,AI硬件

微软和OpenAI计划投资1000亿美元建造“星际之门”（Stargate）AI超级计算机。

关键词: 开源Devin,数据解释器,AI程序员,AI工程师

GitHub三万Star项目MetaGPT上新，号称是“开源Devin”——推出数据解释器（Data Interpreter），能够应对数据实时变化、任务之间复杂的依赖关系、流程优化需求以及执行结果反馈的逻辑一致性等挑战。

关键词: AI绘画,LayerDiffusion,扩散模型,prompt

ControlNet作者最新推出的一项研究受到了一波高度关注——给一句prompt，用Stable Diffusion可以直接生成单个或多个透明图层（PNG）！

关键词: minbpe,OpenAI,Karpathy,模型训练

过去几天，OpenAI 非常热闹，先有 AI 大牛 Andrej Karpathy 官宣离职，后有视频生成模型 Sora 撼动 AI 圈。

关键词: 兵马俑科目三,AnimateAnyone,AI视频,通义舞王

有人借助了阿里之前走红的AI技术——AnimateAnyone，生成出来了这个舞蹈片段。技术圈的盆友对这个技术都不陌生，“出道”至今仅仅1个月时间，这个项目便已经在GitHub上斩获了超1.1万个star。

关键词: GitHub Copilot,7B代码小模型,DeepSeek-Coder

软件开发人员对代码生成 AI 已经不陌生，它们已经成为提高生产力的利器。本文中，伊利诺伊大学香槟分校（UIUC）张令明老师团队带来了代码生成 AI 领域的又一力作 ——Magicoder，在短短一周之内狂揽 1200 多颗 GitHub Star，登上 GitHub Trending 日榜，并获推特大佬 AK（@_akhaliq）发推力荐。

关键词: Q-Star,Q*,openai

也许，解雇 Sam 是对的？前天我们发布了关于OpenAI宫斗大戏的事件经过，虽然事件以Sam重归CEO告一段落，但是董事会为何突然罢免Sam依然是一片疑团。