AI

创世纪人工智能（Genesis AI）完成1.05亿美元种子轮融资，致力于研发通用机器人基础模型。该公司计划2025年底开放模型，技术或应用于工业自动化及家庭服务机器人场景。

OpenAI推出的AI自动化前端测试工具基于GPT技术，可自动生成高覆盖率测试用例，显著提升开发效率。适用于电商平台等多场景测试，减少40%以上手动工作量。

阿里通义千问发布Qwen3-30B-A3B系列升级版本，性能对标GPT-4o等顶尖闭源模型。新版本在数学评测、代码测试等多项指标中表现优异，支持256K tokens原生上下文窗口，并实现轻量化部署...

Latent Labs推出的LatentX是一款基于网络的生物编程AI模型，能够设计自然界不存在的新型蛋白质结构，显著缩短新疗法研发周期。该模型现已在浏览器端开放使用，为生物技术领域带来革新。

OpenAI发布全球首个AGI代理系统，实现技术突破；台积电财报显示AI芯片需求激增，净利润同比增长61%。英伟达和微软市值合计突破8万亿美元，AI行业进入系统级应用阶段。

普林斯顿大学牵头研发的Goedel-Prover-V2开源数学定理证明模型在多个基准测试中超越前代SOTA，32B参数版本性能提升显著，为数学教育及科研验证提供新工具。

国产AI企业MiniMax发布Agent全栈开发功能，实现零代码开发复杂应用，支持电商、支付等企业级需求，30分钟内完成开发。技术整合三大核心模块，案例包括演唱会选座系统。MiniMax估值突破40亿...

欧洲AI公司Mistral推出开源音频模型Voxtral系列，支持8种语言转录与语义分析，提供低成本企业级语音处理解决方案，适用于医疗、工业等多个垂直领域。

Perplexity宣布采用月之暗面Kimi K2大模型优化AI搜索性能。K2模型在复杂任务和代码生成方面表现卓越，为AI搜索领域提供强大技术支持。了解最新AI技术动态。

昆仑万维宣布开源多模态推理模型Skywork-R1V 3.0，该模型通过GRPO强化学习算法显著提升跨模态推理能力，在高考数学测试中表现优异，超越Claude、GPT等国际主流模型。