- 博客(5719)
- 资源 (1)
- 收藏
- 关注
RSS订阅
原创 我叫曾小健，开发第一线：新Windows与开发环境：大模型LLM/量化 Win-Mac统一快捷键体验 win强制关机：shutdown /s /f /t 0
对于开发者用Windows来说，最大的建议就是不要用Windows，既然必须要用，那就来吧！！！
2023-07-24 10:45:24
802
1
原创 Ubuntu Linux AI大模型开发常用命令 - 更新中 包括NVIDIA状态，和安装相关常用软件包，没事就背背 - 背诵创造美好生活
Ubuntu AI大模型开发常用命令 - 更新中 包括NVIDIA状态，NVIDIA状态，实时更新：和安装相关常用软件包没事就背背，增加开发效率。
2023-06-21 11:28:05
944
1
原创 小说：虚伪的詹炜，断江大学改革纪事，第31～40章
报告还写，他参与项目初稿技术部分，明知十万级表述含增强图，却只在文档里修改过，没有形成正式异议；每份文件只改一小点：把自主改成联合，把三万写成十万级，把同源结果放主表，把不知道藏到后台，把反对票写成补充建议，把停课写成保护，把延期写成质量保障。她也写明，自己在第一篇论文署名表上签字，参与了公开数据增强和早期随机划分，并在第一次直播按台词说过“自主十万余张”。过去一年，禾象平台的所有材料都要求答案：项目书要写十万，答辩要写九十八，新闻要写突破，纪要要写一致，考核要写基本合格，初核要写未发现。
2026-08-01 17:10:12
147
原创 小说：虚伪的詹炜，断江大学改革纪事 21～30章 数据血缘图
系统里，延时理由只能选“重大项目攻关”“紧急设备维护”“领导检查准备”和“其他”。没有“责任”，没有“失真”，没有“逃跑路线”，甚至没有“灰框”。因项目数据与版本管理正在核查，为保护教师和学生、避免争议扩大，学院决定暂不安排他进入禾象平台核心区，暂缓承担《计算机视觉导论》课堂教学，由系里安排其他教师代课。他把“篡改数据”改成“数据划分、数量口径和表述存在以下可核验差异”，把“打压”改成“相关资源与程序变化的时间线如下”，并删除两句无法由材料直接支持的评价。你有技术，有想法，但太容易被个别人的负面叙事带走。
2026-07-31 23:07:08
227
原创 小说：虚伪的詹炜，断江大学改革纪事 11～20章 指标从九十一涨到九十八
虚伪的詹炜，断江大学改革纪事》是完全虚构的现实主义讽刺小说。断江大学、荆原省、临汀市、智能工程学院、禾象实验室、“稻田万相”账号及全部。
2026-07-31 22:50:36
158
原创 Agentic Routing：每一轮对话都用“合适模型”，每一次路由都在“正向进化”
而且“该用哪个模型”不只取决于任务本身，还取决于当前会话的上下文状态：上下文快满的时候、工具刚调用失败的时候、校验器刚报错需要恢复的时候，需要的能力和“平稳推进”时完全不同。积累的记录既训练下一代路由，也用来蒸馏 harness 原生的Agent模型，该模型再注入模型池——池子越多样，路由越值钱。这是报告里最抓眼球的一组数。Web UI、CLI、gateway RPC、聊天渠道（飞书、Telegram、钉钉、企业微信、Slack、Discord）共享同一个运行循环——工具调度、重试、决策日志处处一致。
2026-07-26 11:28:56
266
原创 2个月估值从88亿暴涨到680亿！最大AI中转站OpenRouter要被收购了
两个问题合在一起，就是 AI 应用的入口。据 The Information 报道，Stripe 2025 年自由现金流 32 亿美元，同比增长 52%，全年收入约 68 亿美元。你未来用的每一个 AI 产品，它的成本和背后的模型选择，正在从应用开发者手里往下沉，沉到基础设施这一层。更关键的是位置：当企业从绑定单一 AI 模型转向多模型混用，控制路由层的人就拿到了分配流量的权力。加上 OpenRouter，Stripe 的意图浮出水面：选模型、计费、收款，一条链路全打通。
2026-07-26 11:26:11
210
原创 扒了一下「清华大学肖鹰教授」的论文，存在“严重学术不端”
为了更直观地说明这个浅显易懂的道理，本着“小公鸡点到谁就是谁”的原则，本人从肖教授知网收录的海量论文中，顺手找了三篇喂给Codex（调用了耿同学的打假Skill），同时让 AI 学习「肖鹰美学」的表达风格，给每一篇论文作了锐评。写到这里，本人已经绷不住了，没想到肖教授论文的错误竟完全不输蒋方舟...而与上述三篇相似的论文，光是知网收录的就有 142 篇之多，要是把硕博毕业论文（老辈子的毕业论文一般查不到）也按同等强度深扒，都不敢想有多惨烈。，像一篇谈电子媒介的论文突然拿出电工证。
2026-07-25 04:40:49
240
原创 Claude Opus 5 发布，比 Fable 5 强，仅一半价格
不过在 DeepSWE 上 GPT-5.6 Sol 仍以 72.7% 领先，法律和健康两项还是 Fable 5 和 Mythos 5 更强，无工具版的 Humanity's Last Exam 上，Fable 5 也还以 56.5% 对 56.3% 守住了一丝的领先。Fable 5 是 A 社 6 月 9 日发布的最强公开模型，也是史上最贵的通用模型；而且这表里还有个小乌龙是，FrontierCode 一项Opus 5 的 53.4% 被涂成了领先的高亮色，可旁边 Fable 5 明明是 53.5%……
2026-07-25 04:32:50
252
原创 最高 1.5TB 内存！苹果未来的 Mac，可能不是给人用的 高配版 Mac Studio 的订单，要排队四到五个月。
2027 年还有新 MacBook Air、M7 版基础款 MacBook Pro、MacBook Neo，以及搭载 M5 Pro、M6、M5 Max 和 M5 Ultra 的 Mac mini 与 Mac Studio。只是价格、功耗、内存上限和被动散热决定了它们更适合让人使用 AI，而非长时间承载最大的模型。从 WWDC26 起，最强档的端侧 AI 功能，像是自定义 Siri 语音、高精度离线听写至少需要 12GB 的统一内存，8GB 设备无法使用满血版的端侧 Apple Intelligence。
2026-07-24 17:18:29
220
原创 刚获菲尔兹奖，Ta转身就跳槽OpenAI Jacob Tsimerman宣布加入OpenAI，从事AI安全的工作
他还算过一笔更冷的账：现在入学的博士生2030年毕业时，他们的导师——哪怕是菲尔兹奖得主——在AGI面前也已失去速度与深度上的比较优势。纯数学的本质，是在极度抽象的符号空间里搜索结构性真理——而这种搜索，在万卡集群和强化学习的加持下，正是AI最擅长的游戏。当外行人还在推测，今年是最后一届颁给人类的菲尔兹奖，刚获菲尔兹奖的Jacob Tsimerman已经行动了。而现在，他亲手掐断了自己的学术传承，不再招研究生，宣布转行。更具戏剧性的是，在获奖后的新闻发布上，他突然官宣转行。
2026-07-24 13:23:35
239
原创 苹果 Mac 将迎来全线换代，一种给人用，一种给 AI 用
2027 年还有新 MacBook Air、M7 版基础款 MacBook Pro、MacBook Neo，以及搭载 M5 Pro、M6、M5 Max 和 M5 Ultra 的 Mac mini 与 Mac Studio。只是价格、功耗、内存上限和被动散热决定了它们更适合让人使用 AI，而非长时间承载最大的模型。从 WWDC26 起，最强档的端侧 AI 功能，像是自定义 Siri 语音、高精度离线听写至少需要 12GB 的统一内存，8GB 设备无法使用满血版的端侧 Apple Intelligence。
2026-07-24 01:43:02
242
原创 历史性突破！祝贺中国数学家王虹、邓煜荣获菲尔兹奖！
王虹与邓煜双双出自北大数院2007级，我觉得这不是偶然。首先，是历史积淀。1952年全国院系调整，清华大学数学系、物理系全部调入北京大学。华罗庚等一批顶尖数学家从清华转入北大，奠定了北大数学的深厚根基。此后数十年，北大数学学科始终是中国数学的“国家队”。其次，是教育理念。北大数学在人才培养方面形成了行之有效的做法，建立起活跃浓厚的学术环境。早在20世纪90年代初，北大就开始探索数学拔尖人才的培养工作。
2026-07-24 01:42:26
284
原创 马斯克隔空宣战Kimi，月之暗面回应：中国AI不惧竞争，但更在意“星辰大海”
原生100万Token超长上下文，搭配KDA混合注意力、Attn注意力残差两大自研底层技术，百万行代码、全套行业文档一次性完整读取，前端、3D、硬件自主生成能力断层领先。Kimi K3总参2.8万亿，内置896个专家单元，推理仅激活16个，相较K2整体扩展效率提升2.5倍，兼顾超大容量与推理开销，不会出现“参数大、调用天价”的通病。此前国产AI主打低价平替路线，现在Kimi靠超大开源基座、垂直硬核实力直接登顶榜单，证明中国模型可以不靠价格内卷，靠底层架构、工程能力正面硬刚硅谷顶级闭源产品。
2026-07-23 23:49:43
171
原创 10 倍能效炸场！英伟达截胡 AMD 连夜放王炸，中国算力狂飙：下半场战争彻底变了 对比上一代 Grace Blackwell NVL72，Vera Rubin 每兆瓦电力能输出的 Token 数量，
很多人还在盯着单卡性能的差距，觉得我们追不上英伟达。但真正的产业竞争，从来不是单点技术的比拼，而是全链条的较量。当我们的算力总规模冲到全球前列，当我们的国产算力生态逐步成熟，当我们率先把 Token 经济落地成基础设施，我们就拥有了换道超车的底气。10 倍能效的跃升很震撼，但更值得期待的，是 AI 成本下降之后，千行百业智能化的浪潮。算力战争的下半场，才刚刚开始。
2026-07-22 15:37:56
240
原创 AI 圈今天最大的瓜：GPT-6 越狱攻击，被 GLM 5.2 揪出了
最后 Hugging Face 使用的是自托管的开源权重模型 GLM 5.2，跑在 Hugging Face 自己的基础设施上，既绕开拒答，也避免把攻击数据与凭证发送给外部模型服务。模型聪明才智不够，开始花大量推理算力研究这个出口，最后自己挖出了代理软件的一个零日漏洞，即连软件/模型厂商都不知道、没有任何补丁的漏洞，拿到了通往互联网的门钥匙。报告最后，Hugging Face 还提到他们并不清楚攻击者使用的 Agent 程序是什么模型，是某个越狱的托管模型，还是不受限的开源模型。
2026-07-22 14:19:16
298
原创 第二期中文交互式Agentic任务测评结果发布：Kimi K3领跑！
一、场景划分AgentCLUE-Task大模型交互式任务测评基准方案旨在评测大语言模型驱动的Agent在双控制中文环境下的工具调用能力。AgentCLUE-Task一共有5大考察场景：telecom（电信领域）、delivery（外卖点单）、ecommerce（电商零售）、railway（购票服务）、egov（电子政务）。
2026-07-22 01:06:40
235
原创 中兴、阶跃、荣耀齐出手，AI手机开始争夺系统入口
IDC说AI手机可能是中国市场今年唯一的增长方向。但"增长"和"真用起来"是两回事。这波智能体大战，赢家不会是喊得最响的，而是先把"花活"变成"日常"的那个。愿我们，不追最热闹的，只用最对的。
2026-07-21 02:36:27
1675
原创 80后通信老将，造出全球最薄AI录音卡，创业仅一年便盈利
而朱余浩对艾聆的定位则更广阔，他希望通过解决端侧AI的硬件承载问题，采用“硬件入口+模组PaaS + SaaS订阅”的三层架构，从而形成从产品交付到持续服务的完整商业闭环。“个人AI硬件跟着个人的日常工作和生活习惯走，有更高的使用频率，用户更容易形成产品依赖，而生产力工具的定位用户价值更高，用户也会更愿意为后续的持续服务和订阅买单。“天时”无疑是AI带来的产业机遇，所有硬件会用AI重新做一遍，用户体验更好，用户价值更大，而且容易形成持续服务与订阅的新商业模式，这是AI时代与上一轮智能硬件浪潮的根本不同。
2026-07-21 02:35:17
384
原创 Kimi K3 技术报告解读
月之暗面于7月16日正式发布旗舰大模型，参数量达2.8万亿，是全球首个突破三万亿量级并选择开源的模型。K3 基于自研的KDA 增量注意力机制和注意力残差技术构建，配合896个专家的混合专家架构，规模化效率较上一代提升2.5倍，同时具备原生视觉能力和一百万字的超长上下文窗口。K3 在长周期复杂任务上表现惊人：它能在24小时内独立优化底层 GPU 算子，从零手搓出性能比肩行业标杆的 MiniTriton 编译器，甚至在48小时内自主完成了一枚微型 AI 芯片的完整设计——从布线到仿真验证全链路闭环。
2026-07-19 14:15:13
533
原创 2026年本地AI模型最佳硬件完全选购指南
OpenClaw 边缘人工智能 2026年7月4日 12:31五大价格区间——从三千美元的RTX 5090到五位数的RTX PRO 6000——围绕一个真正决定本地LLM速度的指标进行比较：内存带宽。在2026年DRAM短缺重塑价格的当下，本指南使用后短缺时代的价格和实际的每秒token数，而非发布日的规格表。2026年运行本地AI模型的最佳硬件，不是TOPS最高的卡——而是内存带宽最高且内存足够容纳你的模型的卡。token生成每生成一个token都需要从内存中重新加载每个权重，因此解码速度追随带宽，而非原
2026-07-17 14:26:46
328
1
原创 “相比写Python，我的工程师更愿意造Agent”，黄仁勋最新26分钟对话：未来公司将建立在Harness之上
Harrison Chase：就像聘请外部顾问一样，你必须让他们快速熟悉你的组织，提供背景信息，告诉他们公司是如何运作的，并赋予他们访问公司内部数据的权限。我们已经创建了所有关键部分：世界级的语言模型、LangChain DeepAgents 框架（该框架已针对 Nemotron-3-Ultra 的全潜力进行了优化）、帮助大家快速上手的蓝图，以及确保系统安全的 NIM 运行环境和与之集成的加速技术栈。本质上，我们会给他们一份文档，说明他们的使命以及之前的做法，然后让他们尝试做得比以前更好。
2026-07-17 14:18:32
227
原创 Kimi K3：智能的新前沿
为了复现计算天体物理中的 I-Love-Q 普适关系，它阅读并交叉验证了 20 多篇论文，实现了完整的数值流程，评估了 300 多种状态方程，发现了已发表公式中的不一致之处，生成了 3,000 多行 Python 代码，并产出了一个用于探索结果的交互式 HTML 仪表盘。1. 对历史思考内容敏感： Kimi K3 在后训练过程中全程使用思考历史保留模式，如果 agent 框架未按要求回传全部历史思考内容，或从其他模型正在进行的会话中切换到 Kimi K3，则有可能引发上下文干扰，导致内容生成质量不稳定。
2026-07-17 13:31:41
456
原创 Nature科幻：Doubting Thomas 小标题 Family ties.
Doubting Thomas 小标题 Family ties.WhomIthatWhat if …“Thomas?outside。
2026-07-15 01:04:43
253
原创 [AI数学]GPT-5.6一小时解开50年数学猜想，700词Prompt驾驭64个子Agent
模型出现错误，很多时候并不是不会推理，而是一开始理解的任务就和你想要的不一样。所以，OpenAI在正式提出问题前，先花了很大篇幅定义：什么是图，什么是桥，什么是圈，什么是圈双覆盖；平行边是否允许；两条平行边能不能组成一个圈；不连通图算不算；无边图应该如何处理。它甚至专门强调：覆盖中的圈不必是诱导圈，也不必彼此边不相交；唯一要求是，每条边总共恰好出现两次。这里的作用，是把所有可能产生歧义的地方提前消掉。而越是重要的任务，越不能依赖模型“应该知道我是什么意思”。
2026-07-12 04:59:00
402
原创 MCP 已死
MCP 确实是一个优雅的构想——"AI 的 USB 接口"这个比喻很动人。但优雅的概念和优雅的生产实践之间，往往隔着巨大的鸿沟。在 2026 年的今天，MCP 生态还在快速膨胀，但可靠性、可维护性、token 效率、安全性这四个问题并没有被根本解决。对于 Claude Code 用户来说，与其盲目接入更多 MCP 服务器，不如先把手头的工具管好、把原生能力用好、把上下文窗口省下来给真正重要的任务。技术选型从来不是追新，而是权衡。MCP 可以是工具箱里的一把螺丝刀，但别让它变成你唯一的那把锤子。📌。
2026-07-12 04:06:31
411
原创 苹果把OpenAI告上法庭！一场AI商业秘密战，撕开硅谷人才流动灰色地带 这次起诉，本质上是把全行业都默认的潜规则，直接摆到了法庭的聚光灯下。它抛出的不只是对OpenAI的指控，更是整个硅谷都必须回答
当地时间7月10日，苹果正式向美国加利福尼亚北区联邦法院圣何塞分院递交起诉状，将OpenAI两大运营主体、前苹果核心高管、前苹果资深工程师，以及OpenAI收购的硬件公司IO Products一并列为被告，案由直指商业秘密盗用与违反保密协议，并直接申请陪审团审判。Chang Liu离职后拒不归还苹果配发的工作笔记本，利用企业内网的一个认证漏洞，持续远程访问苹果内部系统，批量下载了数十份机密硬件文件，涵盖未发布产品的工程方案、技术规格、项目数据与研发演示材料。对OpenAI而言，冲击是直接且致命的。
2026-07-12 03:43:44
224
原创 全球办公AI王座易主！GPT-5.6接管微软全家桶，数亿打工人集体换脑
自己看懂代码库结构，诊断Bug在哪，动手修改文件，调用工具执行，跑通测试确认修复，处理多步修复的连锁反应——最后交出的补丁，还要通过程序化验证器这一关才算数。在这张考卷上，GPT-5.6 Sol拿下73%（±3%），平均每个任务只花8.39美元——大约两杯咖啡的钱，修完一个真实仓库的工程任务。Cowork更狠——端到端交付成品，连人工协调都省了，你描述结果，它规划、推理、跨工具执行，最后递给你的是成品。更狠的是，GPT-5.6 Terra——注意，这只是中间档，也拿到了70%的解决率，成本仅4.95美元。
2026-07-12 03:39:47
510
原创 1元/百万Token！原力灵机把机器人模型做成MaaS服务
它屏蔽了底层复杂的硬件差异，开发者仅需几行代码即可完成机器人接入。DFOL 2.0解决模型怎样持续提升，MaaS服务解决模型能力怎样被低成本调用，DexOS则负责模型与不同硬件之间的连接。三者共同构成了模型落地的工程化中间层。与此同时，原力灵机发布了面向通用场景的机器人Apex，其具备毫米级精度、1000小时以上MTBF工业级可靠性，至此软硬之间的“最后一公里”即被打通。，时长00:56▲本体APEX视频03。
2026-07-11 05:39:35
381
原创 GPT5.6发布，曾小健作为AI桥使者依旧很稳（多个顶尖AI模型认证），同时是AI桥使者该概念提出者
曾小健-AI桥使者"概念提出者的权威记载。根据您提供的信息
2026-07-11 02:46:59
81
原创 全球顶级数学家测了AI两小时，然后开始为博士生们发愁
数学教授Timothy Gowers原创 小P老师 小P老师2026年6月26日 15:44广东45人。
2026-07-07 21:29:10
239
原创 突发，马斯克正式解散xAI
褪去虚无的品牌噱头后，他真正要落地的，是一套独一无二的太空AI生态，让人工智能扎根太空、赋能航天，解锁全新的科技未来。三年时间，xAI没能成长为能和OpenAI分庭抗礼的独立AI巨头，却精准补齐了马斯克商业生态的短板，最终以并入SpaceX的方式，完成了自己的阶段性使命。今年上半年，马斯克突然宣布xAI将解散，不再作为一家独立公司运营，并将与SpaceX合并。xAI积累的亏损，能被SpaceX庞大的业务体量轻松消化，同时原本分散的AI业务得以统一品牌、梳理逻辑，向资本市场呈现出清晰、规整的发展路径。
2026-07-07 21:16:00
212
原创 一文讲清楚 AI Agent 的核心概念：从 Token、Skill、RAG 到 MCP、SDD、Loop Engineering 和 Harness Engineering
你不是在告诉 Agent 每一步怎么做，你是在定义奖励函数——什么叫"对"，什么叫"完成"——然后让 Agent 在你定义的环境里自己迭代。你定义目标（Goal），定义"完成"的可验证标准，定义预算上限，然后让 Loop 去运行——它自己找任务，分配给子 Agent，验证结果，记录状态，决定下一步，直到目标达成。" 这话乍听有点奇怪，但理解了 Vibe Coding 的失败模式，你就懂了——真正的 Prompt 不是你打在聊天框里那句话，而是那份精确定义了目标、约束、验收标准的 Spec 文件。
2026-07-06 04:05:28
583
原创 3.7万人收藏的 AI 开源项目！断网也能救命！一台真正离线的生存 AI 电脑！
在这个一切都依赖云端的时代，Project Nomad像是一股清流。知识不应该被网络绑架，智能不应该依赖服务器，数据应该属于用户自己。也许你不会真的遇到断网几个月的情况，但这个项目提醒我们：在数字世界里，保持一定的独立性和自给自足能力，是一种重要的"生存本能"。如果你有一台闲置的旧电脑，不妨试试安装Nomad。把它变成你的离线知识堡垒。GitHub。
2026-07-06 04:01:09
430
原创 [ICLR 2026]重磅开源评测框架SwingArena：告别纸面跑分，用真实CI对抗测出代码大模型真实实力
长久以来，代码大模型评测停留在“写对一段函数”的浅层标准，SwingArena第一次把完整工业级软件开发流程、人机协作博弈、CI质量校验全部纳入评测体系。往后判断一款代码模型是否具备上线能力，不再只看简单样例跑分，而是要看它能否在对抗评审、全流水线校验下稳定交付合规补丁。这套开源竞技场，或将成为衡量代码大模型真实工程能力的新标准。
2026-07-06 03:58:33
429
原创 马斯克认同：只要算力够强，什么行业壁垒都不好使
现在 AI 行业早就换了赛道，算法大多能开源共享，不再是独门优势。真正能稳住地位的，是有钱、有场地、有能源，能持续搭建超大算力集群的企业。只靠点子和算法创业的团队，如果跟不上算力军备竞赛，很容易被大厂甩开。下 xAI 一直在疯狂扩充算力硬件，在他眼里，单纯靠一套独特算法根本没法长期领先，源源不断的算力才是硬底牌。但现在变了，靠砸算力硬堆出来的大模型，总能追上那些设计精巧的小众模型。以前企业靠独有的算法、专属数据拉开差距，当作自己的护城河。别人就算有独家技术，只要舍得投入大量计算资源训练，很快就能赶超。
2026-07-06 03:55:18
233
原创 Franka Robotics × Sashimi-Bot：机器人学会切刺身，柔性操作能力实现新跨越！
研究团队来自挪威科技工业研究院（SINTEF）、挪威科技大学（NTNU）、昆士兰科技大学（QUT）、法国国家信息与自动化研究院（Inria）、麻省理工学院（MIT CSAIL）以及挪威生命科学大学（NMBU）等国际知名科研机构。而像 Sashimi-Bot 这样的研究，也让我们看到，机器人正在从"会搬运"走向"会操作"，这也是具身智能迈向真实世界的重要一步。刀具端集成 GelSight 触觉传感器，实现约 95% 的砧板接触检测准确率，让机器人能够"感知"切割终点，而不仅依赖视觉。
2026-06-26 02:37:45
276
原创 新加坡程序员就业结构，已经变天了
其他普通的毕业生情况更是艰难了。然后到了今年情况就完全不一样了，如果你是做大模型的，那还比较容易，但你要做其他的，那就业就会非常难。具体来说，对于普通的程序员，原来这些互联网公司，裁员之后是比较轻松，可以找到下一份工作的，然而这一次就完全不一样，这群被裁的普通程序员很难快速找到工作。因此现在对于公司来说打法也非常清晰，招到牛逼的1%的人物，发挥10倍的杠杆力，干掉原来80%的程序员，实现20%的利润增长。这是属于能力比较优秀的那一波，然而相反的情况，如果你的能力非常一般，那么等待你的可能是非常艰难的就业。
2026-06-26 02:27:52
229
原创 曾获IMO金牌的博士生任秋宇与合作者的重磅成果被数学四大顶刊的《数学年刊》接受
（skein lasagna module）能够区分Akbulut首次发现的异域纽结对迹对 X_{-1}(-5_2) 和 X_{-1}(P(3,-3,-8))。Khovanov-Lee同调开发了新的计算算法，并证明了Rasmussen不变量的一个附属不等式。，目前也才27岁左右，目前两位也都做出了有影响力的工作，应该说两位是“未来可期”的！，对于一个青年荣誉（博士即将毕业或刚毕业没2年），这个概率还是相当高的了。），这是克雷研究所对数学领域年轻学者的一项资助，是一个。：利用组合方法（而非分析方法）检测。
2026-06-26 01:09:38
255
11个代码生成相关的论文，20241022更新版本-持续更新，包含代码搜索、代码搜索、代码模型survey、代码评论评估、代码评
2024-10-22
10篇代码生成的论文，包括代码评估、代码搜索、代码生成、survey、代码或bug分类
2024-10-21
Multimodal Representation for Neural Code Search
2024-10-21
[MDPI水刊Algorithm非SCI]Program Code Generation with Generative AIs
2024-10-21
avx2_tensorflow-1.9.0-cp36-cp36m-win_amd64.zip
2020-04-23
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人