微软推出的Magma是一个多模态视觉-语言-行动(VLA)模型,旨在提升AI代理在数字和现实世界中的任务执行能力。Magma通过整合视觉、语言和行动推理,能够自主处理复杂任务并控制软件和机器人,且在不同环境中适应新任务的能力优于传统模型。
Magma是一个框架,简化了AI代理的创建过程,无需复杂的链条或抽象,只需编写所需逻辑。
陶哲轩宣布“等式理论计划”成功,57天内证明了超过2200万个数学关系,进展超出预期。该计划结合人类数学家与AI工具,探索magma等式的关系,已证实8178279个,证伪13855193个,剩余162个待决。论文撰写已启动,参与者多样,AI工具助力显著。
完成下面两步后,将自动完成登录并继续当前操作。