AI资讯新闻榜单内容搜索-A

关键词: DeepSeek,AI云服务,AI,人工智能

今天凌晨，亚马逊云科技宣布在Amazon Bedrock平台上推出全托管、无服务器的DeepSeek-R1模型，是首个提供DeepSeek-R1作为全托管、正式商用模型的海外云厂商。

关键词: AI,Mistral AI,GPT-4o,AI数学

在32道高等数学测试中，LLM表现出色，平均能得分90.4(按百分制计算)。GPT-4o和Mistral AI更是几乎没错！向量计算、几何分析、积分计算、优化问题等，高等AI模型轻松拿捏。研究发现，再提示（Re-Prompting）对提升准确率至关重要。

关键词: AI,李飞飞,行为机器人套件,𝗕𝗘𝗛𝗔𝗩𝗜𝗢𝗥 𝗥𝗼𝗯𝗼𝘁 𝗦𝘂𝗶𝘁𝗲,𝗕𝗥𝗦

斯坦福李飞飞团队在「保姆型」机器人上新突破！提出BRS综合框架，以后机器人执行日常家务更自主、更可靠。

关键词: AI,AI社交,月匣,AI陪伴

百度再战AI社交。

关键词: AI,AI端侧,DeepSeek,人工智能

每年开春的“新机潮”，今年出尽风头的是DeepSeek。

关键词: AI,AI数字人,硅基智能,Heygem.ai

硅基智能开源数字人模型，1秒克隆生成4K视频，支持离线多语言。GitHub可部署。

关键词: AI,o3-mini,AI数学,人工智能

o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。

关键词: AI,AI面试,AI求职工具,人工智能

和雇主用的AI招聘工具们来一场“中门对狙”

关键词: AI,R1-Omni,模型训练,阿里通义

首次将DeepSeek同款RLVR应用于全模态LLM，含视频的那种！

关键词: AI,RFdiffusion,AI生物,AI科研

从随机残基分布开始，逐步生成新的蛋白质结构