「AI研究项目」共找到 11081 篇相关文章
3.6K Star！OpenCode 团队开源宝贝，模型价格、能力、规格一网打尽！
开发AI应用时，模型选择成难题，信息碎片化、不透明让人头疼。OpenCode团队开发的开源项目Models.dev，整合主流模型关键信息，可一站式查询、精确估算成本、对比能力，还提供公开API，社区驱动持续更新。
49.8亿元，寒武纪定增申请获受理
6月4日晚，寒武纪49.8亿元定增申请获上交所受理，这是其上市五年内第二次定增且金额最大。公司业绩增长，董事长陈天石介绍发展规划，定增或与AI浪潮有关，资金用于芯片和软件平台等项目。
Karpathy：写了20年代码，现在像作弊
Karpathy曾造词“vibe coding”，一年后弃用。他开源autoresearch项目，让AI Agent自主跑实验，自己不写代码。他还展示家庭监控分析系统也由Agent完成。他提出“agentic engineering”，认为工具虽变，但深度技术专长更重要。
刚刚，林俊旸官宣创业公司Pragmatik Labs！
原阿里千问技术负责人林俊旸官宣在上海创办新AI公司Pragmatik Labs，研究横跨数字与物理世界的下一代Agent。其获高榕创投、红杉中国领投，腾讯等支持，投后估值约20亿美元。
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
国产GPU首获全球顶级推理框架「原生门票」：MUSA合入SGLang主线
近日，摩尔线程举办「SGLang × MUSA Meetup」，分享与 SGLang 社区及 MUSA 生态协同进展。其 MUSA 后端已加入 SGLang 官方支持体系，代码合入主线，还在多方面取得成果，众多开源项目核心维护者参与探讨国产 AI 算力。
拒绝招聘、产品粗糙，却成史上最快增长软件公司！4个00后“整顿”创业圈：大家都不信，才是我们的机会
Cursor是极速崛起的AI编程工具，操刀手是4个00后。创始人Michael Truell分享经验，从早期失败项目获教训，虽有GitHub Copilot，仍因看好编程未来投身其中，3个月发布产品并不断迭代。
我去，Github 51k star，没看错，他是开源的，“用 Docker 运行 macOS”？你绝对没看错!
这是一个运行于 Docker 中的 macOS 虚拟环境项目。开发者或安全研究者在非 macOS 平台运行 macOS 常遇性能差等痛点，而 Docker - OSX 利用容器化轻量部署，接近原生性能，功能亮点多，应用场景丰富。
arXiv变天：将脱离康奈尔大学独立，招聘CEO，网友：以后还能白嫖吗？
arXiv发布官方信息，将脱离康奈尔大学转型为独立非营利组织，还发布CEO招聘公告。它始建于1991年，在康奈尔经历从个人项目到机构基础设施的转型，现面临AI投稿井喷、审核困境和技术债务等挑战。
我是微软工程师，编程了30多年，如今我几乎不再编程了
微软资深工程师 Paul Payne 分享编程 30 多年感受，认为 AI 正颠覆软件工程领域。他所在团队研究 LLM 驱动系统，系统从程序员手中接走大量工作，Amplifier 等工具让编程变得更简单，人类程序员价值将升华。