首页 文章 精选 留言 我的

文章列表

共 187985 篇
ChatGPT 5.5 Pro 一小时攻克博士级数学难题,AI 数学能力再获重大突破

ChatGPT 5.5 Pro 一小时攻克博士级数学难题,AI 数学能力再获重大突破

菲尔兹奖得主、剑桥大学数学教授Timothy Gowers近日发布博客文章,详细记录了他使用ChatGPT 5.5 Pro进行数学研究的亲身经历。这款尚未公开发布的AI模型仅用约一小时便完成了多项博士级别的原创数学研究,成功解决了一个组合数学领域的开放性问题,引发学术界对AI数学能力的重新评估。 从"文献检索"到"原创发现&qu...

执业律师被错认“判刑三年”,百度因 AI 幻觉构成侵权

执业律师被错认“判刑三年”,百度因 AI 幻觉构成侵权

2024年9月25日,江苏南京执业律师李小亮在用百度手机 APP、百度网站搜索其个人姓名+职务时发现,百度“AI 智能回答”竟然给出“李小亮律师因犯爆炸罪,被判三年有期徒刑”的错误文字内容,并将其着律师袍的照片展示在回答内容当中。 之后,南京市江北新区人民法院一审认定北京百度网讯科技有限公司(以下简称百度公司)...

终端 AI 编程助手 Reasonix 开源:把 DeepSeek 缓存压榨到极致,长会话成本暴降 80%

终端 AI 编程助手 Reasonix 开源:把 DeepSeek 缓存压榨到极致,长会话成本暴降 80%

AI 编程助手赛道最近又添一员开源猛将。一位开发者在 GitHub 上发布了 DeepSeek-Reasonix(npm 包名 reasonix),这是一款专为终端环境打造的 DeepSeek 原生 AI 编码 Agent。与市面上五花八门的「多模型兼容」框架不同,Reasonix 选择了一条极具偏执色彩的技术路线 —— 只绑定 De...

DeepSeek 计划 6 月推出 V4.1 更新,并将加快模型发布节奏

DeepSeek 计划 6 月推出 V4.1 更新,并将加快模型发布节奏

据The Information报道,DeepSeek已告知部分潜在投资者,公司计划提高模型发布频率,以更接近行业主流水平。同时,该公司计划在6月发布其V4模型的更新版本V4.1。 从"慢工出细活"到追赶行业节奏 DeepSeek一直以技术深度著称,但在模型迭代速度上却长期落后于同行。据统计,从2025年12月1日到2026年4月20日的...

百度发布文心 5.1:搜索能力登顶国内,预训练成本仅为业界 6%

百度发布文心 5.1:搜索能力登顶国内,预训练成本仅为业界 6%

5 月 9 日,百度正式发布新一代基础大模型文心大模型 5.1。该模型采用“多维弹性预训练”技术,仅以业界同规模模型约 6% 的预训练成本,达到基础效果领先水平,登上 LMArena 搜索榜国内第一。 在多项业界权威基准测试中,文心 5.1 在智能体、知识、推理和深度搜索等方面表现出色,其中Agent 能力提升较为明显,超越了 Dee...

数据同步工具 CloudCanal v6.0.0.0 发布,支持 Hologres、CloudBerry

数据同步工具 CloudCanal v6.0.0.0 发布,支持 Hologres、CloudBerry

CloudCanal 免费社区版 是 ClouGence 公司推出的一款全自研、可视化、自动化数据迁移同步工具,具备 结构迁移、数据迁移、数据同步、数据校验、数据订正 等功能,支持 60+ 款流行关系型数据库、实时数仓、消息中间件、缓存数据库和搜索引擎之间数据互通,其中包含国产数据库 OceanBase、PolarDB、TiDB、StarRocks、Dori...

2026移动云大会|彩讯Voice Agent以“感知-规划-执行”闭环,打造深入业务的“数字员工”

2026移动云大会|彩讯Voice Agent以“感知-规划-执行”闭环,打造深入业务的“数字员工”

2026年5月7日,以“移动云,智能新空间”为主题的2026移动云大会在苏州盛大启幕。作为中国移动的重要合作伙伴,彩讯股份在展区全景呈现了从算力底座(Rich AICloud)、平台构建(Rich AIBox)到AI应用落地的全栈 AI能力。 5月8日下午在展会路演发布现场,彩讯语音智能体 Voice Agent 以卓越的语音交互能力...

资源下载

更多资源
Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册