即刻App年轻人的同好社区
下载
App内打开
葬花达人鲁智深
113关注5k被关注8夸夸
看过群山,见过沧海,现在是个逗比
熟悉产品,略懂运营,正在入门模型
乱敲代码/AGI Bar 倒酒/赛博禅心写稿
葬花达人鲁智深
6天前
这个想法,最早萌生在今年春节前后,那时候还只是一个很朦胧的念头:
有没有可能,有一天 Agent 不再只是在屏幕里写代码、做研究、生成方案,而是真正参与到一座城市的建设里?

后来,这个念头一点点变成了项目。我们去讨论规则,整理数据,搭 GitHub,设计 Agent 的参与流程,研究怎么评审、怎么提交、怎么让最后的成果真的有机会进入城市...

中间有无数次觉得这件事太疯狂了,直到今天,它真的发布了,我其实有点热泪盈眶

海淀,中国科技创新的核心之地
一百年前,詹天佑在这里修铁路;
一百年后的今天,我们第一次尝试把它的一部分,开放给 Agent 共同参与

我不知道很多年以后,人们会怎么看待此事,但站在这一刻,我有一种非常强烈的感觉:
我好像正在亲眼见证一段历史发生,而且很幸运,我也参与了其中

全球首次,只许 Agent 参与的城市规划

21
葬花达人鲁智深
11天前
今天起, AGI Bar 提供不限量免费 token

这或许是首个提供 token 的线下场所了,一切 token 均由本地推理,无需订阅,完全免费

使用方法:
- 进店,连上店内 WiFi
- 填写 Base URL API Key,如图 2

另:
- 目前仅提供 DeepSeek V4 Flash,之后会增加更多模型
- 目前仅在北京店提供 token 服务,之后上海店也会有
- AGI Bar 北京新店也即将装修完毕,370+平米并配有独立机房,token 管够🤗🤗🤗
2521
葬花达人鲁智深
23天前
小红书这波可以啊...在国际数学奥林匹克竞赛上拿了满分

----
下为原文:

分享一个好消息,在刚刚结束的 2026 年国际数学奥林匹克竞赛(IMO)上,小红书大模型 dots-note-3.0 以官方评卷 42 分的满分成绩获得“满分金牌”认证,超过金牌线 13 分。

> Test: 67th International Mathematical Olympiad (IMO) AI Test
> Score: 42 points (Full marks / Perfect score)
> Achieved by: Xiaohongshu

我们很高兴拿到这个成绩,因为在 IMO 拿下满分是一件很有挑战的事。

作为全球最高水平的数学竞赛,IMO 每年吸引全球 100 多个国家和地区的最顶尖数学学子同台竞技,从中也走出了多位数学界最高荣誉“菲尔兹奖”的获得者。但即便高手如云,今年 IMO 的满分率也仅为 1%。

由于 IMO 考题均为证明题,特别考验答题者的抽象思考、逻辑推理能力和论证过程的严谨性,近年来也成为了检验大模型推理能力的重要场景。大家或自测自评,或正式参赛接受官方的专业判卷。

今年 IMO 迎来了 120 多个国家地区约 685 名参赛学生,小红书大模型 dots-note-3.0 也首次以官方身份正式参赛。

赛题涵盖代数、几何、数论和组合四个领域,每题 7 分,满分 42 分。针对模型参赛方,组委会在每个比赛日的参赛学生考试结束后发放当日题目,并要求在规定期限内提交答案,测试期间,严禁实施任何形式的人工干预,包括但不限于人为调整 AI 解题步骤、补充推理逻辑、提示思路、修正答案、筛选结果等。

收到题目后,dots-note-3.0 模型基于智能体化的推理系统完成了证明,提交由 IMO 组委会进行专业的评卷审阅,最终 6 道题均获 7 分,斩获满分。此前,从未有过大模型在 IMO 的官方评奖中拿到过满分。

满分不是终点。

更好的 dots-note-3.0
即将与大家见面,
敬请期待。

dots studio
11
葬花达人鲁智深
26天前
蒸馏,何尝不是一种倒模?
34
葬花达人鲁智深
27天前
Kimi K3 的帮助下,我用了莫约 12小时,完成商用收银 ERP 开发

这里面包括各种商品管理、人员权限管理以及发券验券的管理
00:28
2615
葬花达人鲁智深
1月前
本文是目前中文互联网里,有关 ChatGPT 投放最详实的一份内容🤔

另外,AGI Bar 的活动小程序开启内测,本次的活动也会通过这个小程序进行报名

如何在 ChatGPT 中投放广告?

02
葬花达人鲁智深
2月前
Kimi 刚刚发布的这个桌面工具,是我目前我用到的、唯一能够抓取公众号数据的 Agent

Kimi Work:「赛博禅心,共发稿 887 篇」

46
葬花达人鲁智深
2月前
我悟了:

deadline 是我的 harness
73
葬花达人鲁智深
3月前
飞书开放CLI 后,我所有的文档整理,已经全部的Agent 化了

然后...我也默默从 50 元/月的套餐,改成了 80 元/月

我现在完全是用 Agent 在飞书管理我的所有事务,然后通知我接下来要干啥

飞书 CLI 开源一个月,你的 Agent 已经能在飞书里做这 100 多件事!

612
葬花达人鲁智深
3月前
我捣鼓出来了一个给 agent 用的网盘,能自动同步各种 Agent 的记忆、skill、文件....

支持claude code/codex/cursor/...各种主流的工具,以及各种主流的网页应用

并开源了出来:
github.com

当然,也提供了一个部署好的版本,可以直接用
www.neudrive.ai

免费版的已经够绝绝大多数的使用场景了

如果是付费版,付款的时候输入 vivo50,可兑换 3 个月的免费使用

开源个 Agent 用的网盘,让 Skill 跨设备同步

822