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