AI信息差
刚刚，AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明
新智元报道 编辑：Aeneas KingHZ 【新智元导读】AI辅助人类，完成了首个非平凡研究数学证明，破解了50年未解的数学难题！在南大校友的研究中，这个难题中q=3的情况，由o3-mini-high给出了精确解。 就在刚刚，AI完成了首个非平凡研究数学证明！ 完成这项研究的，是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部的一位华人学者W...
10万奖金×认知升级！OceanBase首届AI黑客松广发英雄帖，你敢来么？
机器之心发布 机器之心编辑部 从 ChatGPT 引发认知革命到 GPT-4o 实现多模态跨越，AI 技术的每次跃迁都在印证一个底层逻辑 —— 数据质量决定智能高度。而今，这场 AI 浪潮正在反哺数据库领域，推动其从幕后走向台前，完成智能时代的华丽转身。 在 DB+AI 的舞台上，作为分布式数据库的领军者， OceanBase 正凭其一体化架构重新定义 AI...
中国初创芯片登Nature：比英伟达A10快500倍！自研光电混合技术
金磊 发自 上海 量子位 | 公众号 QbitAI 来自国内的光电混合芯片技术，登上最新顶刊Nature！ 这次的成果主要聚焦在了自主研发的光子计算处理器——PACE（Photonic Arithmetic Computing Engine）。 简单来说，PACE是一种基于光电混合的架构，它通过光执行矩阵向量乘法，可以实现超低延迟和高能效的计算。 根据论文...
ICLR高分论文险遭拒，只因未引用「造假」研究？？？作者怒喷：对方论文用Claude生成
白交 发自 凹非寺 量子位 | 公众号 QbitAI 有在离谱。 高分论文因为没有引用先前的研究而被ICLR拒稿了？！ 于是作者提起上诉，审稿主席们推翻之前的决定，最终论文被接收并选为Spotlight。 本以为这场闹剧就这么结束了。 没想到，诶，还牵出更离谱的事儿。 该论文的作者举报，所谓「先前的研究」本身有实验结果矛盾，甚至还涉嫌抄袭他们的成果，拿他们...
MindsDB ：借 MCP 一句话打通20+数据库，大模型秒变SQL专家！
在企业数字化转型浪潮中，数据的价值愈发凸显，但随之而来的数据碎片化和复杂查询需求成为了摆在面前的两座大山。传统的数据处理方式依赖繁琐的ETL（Extract，Transform，Load）流程，需要专业的技术人员花费大量时间和精力去处理数据的抽取、转换和加载，而且这一过程往往效率低下，难以适应快速变化的业务需求。同时，对于普通业务人员来说，掌握专业的SQL...
2025新风口！AI大模型又起飞了！
Deepseek全球爆火 让AI技术又一次进入了快速发展期！ 百度、字节、腾讯等等巨头互联网公司， 纷纷接入DeepSeek，加速落地AI应用！ 这让「大模型应用开发工程师」一跃成为 炙手可热的岗位！ DeepSeeK甚至还开出1 54W的高薪 ， 挖掘会大模型技术、懂落地的AI人才！ 作为技术人， 如何不被时代抛弃，享受AI技术带来的就业红利？！ 知乎...
RAG中的表格数据序列化思路及R1类推理大模型训练实证分析
今天是2025年4月14日，星期一，北京，大风。 先看一个观点，先说图灵测试，测的是“像不像”，不是“是不是， 图灵测试本质上是行为主义的，它只看AI表现出来的对话行为像不像人，并不关心它内部是怎么想的，有没有理解，有没有意识。 新一周的第一天，来看两个问题，一个是RAG中的表格处理问题，如何进行序列化。另一个是RL用于推理模型训练的一些分析，为消融实验，有...
Kimi开源俩轻量级多模态模型，参数仅2.8B 跑赢GPT-4o、Qwen2.5-VL-7B
作者｜子川 来源｜AI先锋官 安静许久的kimi，终于又有新动作了！ 近日，Kimi团队甩出一套组合拳——视觉语言模型Kimi-VL及其推理版Kimi-VL-Thinking双双开源！ 这波操作直接把多模态+推理全都给拿捏了。 据介绍，两款模型都是具有 28 亿激活参数、160 亿总参数的 MoE 结构的多模态模型，支持128K上下文窗口，同时采用的是比...
2 个月 10 万台，增速 300%，「AI硬件」闯出一匹黑马
来源：极客公园（ID：geekpark） 作者：苏子华 可能你也在短视频平台刷到过一块可以语音对话的简陋电路板、或者方盒子。 过去两个月，在 AI 硬件领域内生长出一个现象级项目——「小智 AI」。 视频中的「小智 AI」语音助手用台湾腔讲话。相比市面上其他语音助手，它反应迅速、声音逼真拟人、说话内容充满「人味儿」。这些短视频迅速引发病毒式传播，点赞量动...
Claude Code的开源替代OpenCoder，AI Agent驱动的Web测试框架Magnitude，
**关注我，记得标星不迷路哦～ 1: OpenCoder OpenCoder是Claude Code的开源替代品，基于Vercel AI SDK，支持跨平台和多种LLM，提供强大的工具和MCP功能。 OpenCoder 是 Claude Code 的开源替代品，提供类似的用户界面和用户体验。它基于 Vercel AI SDK 构建，这意味着它兼容 Ver...