斯坦福大学研究团队开发了史上最具挑战性的AI数学推理测试系统Putnam-AXIOM，基于威廉·洛威尔·普特南数学竞赛的522道大学级难题。测试结果显示，即使最强的AI模型也只能达到42%的正确率，远低于它们在传统测试中的表现。研究还创新性地引入了变形题目生成和教师强制准确率评估方法，有效识别了AI对训练数据的记忆依赖问题，为真实评估AI数学推理能力提供了新标准。

看眼下，混合云与AI已是大势所趋；看未来，量子计算机、纳米级芯片、区块链等技术也有突破性进展和完整路径规划。这便是“蓝色巨人”的科技洞见。

香港科技大学团队提出PosterCraft统一框架，通过四阶段训练流程实现高质量美学海报端到端生成。该方法摒弃传统模块化设计，采用整体性创作思路，在文字准确性和视觉美感方面显著超越现有开源模型，接近商业系统水平，为AI创意设计领域带来重要突破。

本文深入分析了从传统AI发展到AGI过程中可能出现的智能爆发现象。基于AI专家共识的2040年AGI实现预期，文章探讨了七种主要发展路径，重点关注突破性的"登月路径"。智能爆发理论认为，智能可以像原子链式反应一样相互促进，快速产生大量新智能。文章预测2038-2039年可能发生智能爆发，随后在2040年实现AGI，但也指出了关于智能爆发的启动、控制和潜在风险等争议问题。

人民大学团队创建了OlymMATH，这是首个奥数级AI数学推理基准测试，包含200道双语题目。测试结果显示，即使最先进的AI模型如Gemini 2.5 Pro在困难题目上也只能达到58.4分，揭示了当前AI在复杂数学推理方面的真实能力边界，为未来AI发展指明了方向。

蚂蚁集团AWorld团队发表突破性研究，创建动态多智能体协作系统解决AI稳定性难题。研究灵感来源于船舶导航，通过执行智能体和守护智能体的协作机制，在GAIA测试中准确率达67.89%，稳定性提升17.3%，荣登开源项目排行榜第一名。该系统为构建可靠智能系统开辟新路径，具有广阔应用前景。

这项由清华大学与快手科技等机构合作的研究构建了包含18.2万个人工标注样本的大规模视频偏好数据集，开发了VideoReward多维度视频评价系统，并提出了Flow-DPO等三种对齐算法，成功让AI视频生成模型学会按照人类偏好创作内容，显著提升了生成视频的质量和用户满意度。

随着云数据库、NoSQL、NewSQL等新一代数据库的兴起，传统数据库辉煌的日子正在逐渐远去。

十年来，ThoughtWorks技术雷达见证了众多技术的兴起与沉寂，我们不断看到有新的条目被纳入到雷达，从不被认可到进入“采纳”，或是从广受好评到建议“暂缓”， Martin Fowler畅谈了这其中所体现出的趋势。

波士顿大学研究团队通过先进脑成像技术首次揭示了技能从需要意识控制转变为自动化执行的完整神经过程。研究发现大脑存在两个关键网络：认知控制网络负责新技能学习，程序性学习网络负责自动化执行。随着练习增加，控制权从前者转向后者，释放认知资源处理新挑战。研究还发现了三种不同的个体学习类型，为个性化教育和康复治疗提供科学依据，并为人工智能发展提供生物学启发。

所有的视频类服务，是否可以通过一张网络来承载，让应用开发效率更高，成本更低，体验更好?

我们挑选出了2018年最炙手可热的这10家区块链初创公司，他们相信这项技术最终可以取得突破实现大规模采用。其中很多初创公司都专注于基础设施级技术，以改善区块链的工作方式，还有一些公司使用区块链来改善其他技术领域如物联网。

悉尼科技大学等机构联合提出REARM框架，通过元网络过滤模态共享特征噪声，运用正交约束保护独特信息，并深度挖掘用户兴趣与商品关联关系，在多个电商数据集上显著提升推荐准确性，为多模态推荐系统的个性化与精准化提供了新的技术路径。

数源AI推荐的论文《G3DR: Generative 3D Reconstruction in ImageNet》介绍了一种新的3D生成方法G3DR，能从单个图像生成多种高质量3D对象。G3DR利用深度正则化技术和预训练的语言视觉模型CLIP，

2023 Amazon DeepRacer中国系列活动正式启动，同时亚马逊云科技宣布与中国教育学会科创教育协作体及上海市人工智能行业协会达成战略合作。

IBM 正处于转折点，其长期战略成效显著。公司在 AI 和混合云领域取得进展，股价创新高。IBM 正利用开源优势和 Red Hat 专长，通过高效 AI 模型和混合云基础设施，为企业提供成本效益高、性能出色的 AI 解决方案。这一战略有望推动 IBM 在未来企业 AI 市场中占据领先地位。

PTC（纳斯达克代码：PTC）于今日宣布，德国汉莎航空技术公司（Lufthansa Technik）选择Windchill®产品生命周期管理（PLM）和ThingWorx®工业物联网（IIoT）平台，作为其产品开发和工程流程数字化转型的核心技术。

2020年11月5日，小米在北京举办了2020 MIDC（第四届小米开发者大会），这也是小米一年一度硬核科技的阅兵式。在大会中小米发布了智能助理“小爱同学5.0”，展示了小米在相机、屏幕、快充和无线充电等领域取得的突破 ...

俄亥俄州立大学团队开发了FlexiTokens技术，解决了AI文本处理中的"一刀切"问题。该技术让AI模型能够根据不同内容和场景自动调整分词策略，在医学、法律等专业领域和多语言处理方面表现出色，性能提升高达10%，同时显著提高处理效率。

Google Research与以色列理工学院联合研究发现，大型语言模型存在显著的"隐性知识"现象——AI内部掌握的知识远超其外部表现，平均差距达40%。研究团队通过测试三个主流AI模型的1700个事实性问题，发现AI在内部完全知道答案但1000次尝试都不会说出的极端情况。这一发现揭示了AI语言生成机制的根本局限，为改进AI表现和理解智能系统认知机制提供了新视角。