AI新闻资讯

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

深度解析Meta公司数千亿美元AI战略：涵盖1GW超级计算集群建设、130万GPU部署计划及其对生成式AI、广告系统和全球AI竞赛格局的影响。

深度解析硅谷AI人才争夺战最新动态：谷歌24亿美元截胡OpenAI的Windsurf收购计划，Meta加速挖角OpenAI核心研究员。揭秘科技巨头间的人才博弈策略、行业薪资溢价现象及对初创企业的影响。

香港科技大学与比亚迪正式签署协议，共建具身智能联合实验室，致力于机器人技术、智能制造及具身智能领域的前沿研究，推动产学研深度融合与技术创新。

全球首场AI编码角斗赛中，Anthropic的Claude系列模型凭借卓越的代码生成能力和智能体工作流表现夺冠。了解Claude Opus4在复杂任务处理中的优势及AI编程工具的未来发展方向。

西班牙CNMC自主研发的AI算法BRAVA完成全自动化升级，可实时识别垄断行为并提升3倍效率，欧盟计划2026年前将其作为统一市场核心监管工具，引发全球监管机构关注。

国声智库发布“智库界AI智能体”并启动“智库AI共生计划”，通过先进AI技术构建智慧决策体系，推动智库服务模式革新。该计划聚焦数字中国、乡村振兴等国家战略，为产业高质量发展提供技术路径。

字节跳动最新开源的EX-4D框架实现单目视频到4D序列的突破性转换，采用深度防水网格与双mask策略，在FID/VBench指标上超越现有方案70.7%用户认可其物理一致性，为VR/影视行业提供高效解...

深度解析Meta与OpenAI之间的人工智能人才争夺战：揭秘千万美元年薪背后的行业现状，OpenAI如何应对Meta的挖角策略，以及AI领域人才竞争的最新趋势。

深度解读OpenAI关于谷歌TPU合作的官方声明，揭秘其自研3纳米AI芯片技术细节，分析多元化算力战略如何影响英伟达主导的AI芯片市场竞争格局。