首页 文章 精选 留言 我的

文章列表

共 187724 篇
OpenAI 推理模型推翻 80 年几何猜想:AI 首次自主证明 Erdős 开放问题

OpenAI 推理模型推翻 80 年几何猜想:AI 首次自主证明 Erdős 开放问题

数学界迎来了一次里程碑式突破。OpenAI近日宣布,其内部推理模型生成了一份原创数学证明,推翻了保罗·Erdős于1946年提出的单位距离猜想——一个困扰数学家近80年的离散几何开放问题。 这一成果的发布紧随OpenAI上一次失败之后。七个月前,前副总裁Kevin Weil曾宣称GPT-5解决了10个Erdős问题,但随...

JimuReport 积木报表 v2.3.4 版本发布,免费的可视化 AI 报表

JimuReport 积木报表 v2.3.4 版本发布,免费的可视化 AI 报表

项目介绍 免费的 AI 可视化报表。一句话描述需求,AI 自动生成报表与数据大屏;同时提供类 Excel 拖拽设计器,兼容 30 余种数据源,轻松应对各类复杂报表场景 —— 帆软、Tableau 的高性价比开源替代。 ✨ 积木报表,是一款免费的数据可视化报表,含报表、打印、大屏和仪表盘,像搭建积木一样完全在线设计!功能涵盖:复杂报表、...

一款简约易用的 Markdown 全可视化编辑器,支持自动编号

一款简约易用的 Markdown 全可视化编辑器,支持自动编号

MarkEasy一款简约易用的开源 Markdown 编辑器。 - 单 HTML 页面,浏览器打开即用,无需安装,离线可用 - 支持图片、表格、公式、流程图(Mermaid)、代码高亮 - 所见即所得,表格预览区可直接编辑,体验顺滑 - 一键导出 HTML / PDF / Markdown,中文排版工整 - 大纲导航 + 标题自动编号,写长篇文档特别省心 用...

东软添翼登榜动脉网:医疗AI从“能不能用”迈向“敢不敢用”

东软添翼登榜动脉网:医疗AI从“能不能用”迈向“敢不敢用”

近日,动脉网发布了《2026医疗大模型场景落地研究报告》,东软添翼医疗大模型荣登“2026医疗AI大模型最具应用价值产品榜”。 动脉网是医疗健康领域最具影响力的产业媒体之一。在这份报告中,动脉网调研、访谈了十余家创新企业、三家投资机构及数名临床专家,对国内医疗大模型的落地能力做了系统评估。报告特别点名东软:“东软集团围绕院...

迎战 618!开源私域导购底座 xc-union 2.0.0 上线

迎战 618!开源私域导购底座 xc-union 2.0.0 上线

距离 618 不远了。 对开发者来说,这段时间往往会收到同一类需求: 做个查券/导购工具,能不能快一点上线? H5 页面先跑起来,后端 API 后续慢慢扩展行不行? 先做 MVP,后面再二开成自己的私域返利助手。 如果每次都从零手撸,最痛苦的不是页面,而是底层这几件事: 接口组织和模块扩展没边界,越写越乱 API 复用性差,后期迭代容易牵一发而动全身 一开始...

大规模 npm 供应链攻击持续,黑客 20 分钟内发布 630 个恶意版本

大规模 npm 供应链攻击持续,黑客 20 分钟内发布 630 个恶意版本

开源生态正在经历一场持续升级的供应链攻击。5月19日,安全公司StepSecurity和SafeDep警告称,一场针对npm生态的大规模攻击活动正在进行中——攻击者入侵了热门开源项目开发者账户,在约20分钟内发布了超过630个恶意版本,涉及317个npm包。 这轮攻击被安全研究人员命名为"Mini Shai-Hulud&qu...

OpenAI 拥抱 C2PA 标准,引入 Google SynthID 图像水印

OpenAI 拥抱 C2PA 标准,引入 Google SynthID 图像水印

随着AI图像生成工具大规模普及,判断一张照片是真实拍摄还是AI生成,正变得前所未有的困难。5月19日,OpenAI宣布了两项重要措施,试图在这个问题上建立行业标杆:公司正式加入C2PA开放标准,并与Google合作部署SynthID隐形水印技术,同时推出一款公开验证工具供用户检测AI生成图像。 C2PA(内容来源和真实性联盟)成立于2021年,是一个由Ado...

27B 数理 SOTA 与 3 秒情感克隆,有道全面开源“子曰 4”多模态与 TTS 引擎

27B 数理 SOTA 与 3 秒情感克隆,有道全面开源“子曰 4”多模态与 TTS 引擎

近日,网易有道宣布“子曰”大模型迎来 4.0 版本的全方位升级。“子曰4" 正式迈入全模态时代,不仅全面支持文本、图片、音频的融合交互,有道更宣布将核心的“多模态模型”与“语音合成(TTS)模型”正式开源。与此同时,翻译模型也迎来了深度的技术重构,翻译质量与效率实现...

算力基座×情感应用双强联合!摩尔线程+一眸科技共拓国产化AI落地新范式

算力基座×情感应用双强联合!摩尔线程+一眸科技共拓国产化AI落地新范式

2026年5月18日,国产全栈AI基础设施提供商摩尔线程在北京举办“词元时代,万物智能”2026产品发布会,正式发布云-边-端全栈智算矩阵。作为核心生态合作伙伴,一眸科技携情感与认知智能技术及落地应用重磅亮相,双方基于摩尔线程MTT E300边缘AI模组、MTT AIBOOK AI算力本完成深度适配,实现“、国产算力基座+...

GitHub 确认遭入侵:3800 个内部仓库被窃取

GitHub 确认遭入侵:3800 个内部仓库被窃取

2026年5月19日,GitHub官方确认正在调查一起严重的内部仓库入侵事件。臭名昭著的威胁组织TeamPCP在暗网论坛声称窃取了约4000个GitHub内部仓库的私有代码,并开价至少5万美元出售。GitHub随后确认约3800个内部仓库受到影响,攻击源头被锁定为一名员工安装的恶意VS Code扩展。 GitHub表示,目前评估认为活动仅涉及GitHub内部...

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

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文件系统,支持十年生命周期更新。

用户登录
用户注册