陶哲轩宣布“等式理论计划”成功，57天内证明了超过2200万个数学关系，进展超出预期。该计划结合人类数学家与AI工具，探索magma等式的关系，已证实8178279个，证伪13855193个，剩余162个待决。论文撰写已启动，参与者多样，AI工具助力显著。

量化金融工作结合了数学和工程技能，寻找基础资产之间的数学关系或创建衍生品。量化金融涉及计算金融、经济学、数学金融、投资组合管理、证券定价、风险管理、统计金融、交易和市场微观结构等领域。量化开发人员需要熟练的软件工程技能。金融科技和FAANG公司也需要量化人才。量化分析师可以在银行、对冲基金、学术界或研究机构工作。量化工作需要应用数学和编程技能，常用的编程语言有Python、C++、Java、C#、Julia、Kdb+/q和CUDA。