Aleph Prover 形式化了 OpenAI 对 Paul Erdős 平面单位问题的反驳，并发布了形式化内容。这是一个数学问题的 AI 形式化验证进展。
美国司法部对特朗普强奸案中的女性展开调查，同时白宫被指控操控一笔6.2亿美元的资金。这两起事件由加州州长纽森在推特上披露，引发广泛关注。
Yann LeCun转发招募信息，经过一年努力，现在可以轻松参与JEPA和World Models的研究工作。
Meta AI团队宣布启动ATLAS项目，这是迄今最大规模的自动化形式化验证努力之一。该项目旨在通过自动化技术提升形式化验证的效率与规模，推动AI在数学与软件验证领域的应用。
Nature发布新AI工具，生成超过十亿个预测蛋白质结构，以及数十亿更多蛋白质相关信息。
Ebetica发布仅需9行代码的蛋白质结构预测方法，无需多序列比对（MSA），达到最先进水平。
Biohub通过社交媒体宣布发布ESMC语言模型。该模型基于数十亿条覆盖完整范围的蛋白质序列数据进行训练，属于人工智能在生物信息领域的技术应用发布。该信息为明确的产品动态，具备客观事实增量。
社交媒体信息显示，蛋白质工程领域迎来技术更新，新一代AI模型ESMFold2正式发布。该模型属于ESM系列最新迭代版本，目前已通过Hugging Science平台实现全面开源，为蛋白质结构预测与设计提供开源工具支持。
David Klindt宣布可证明JEPA学习内容，提出可识别的世界模型理论，标志着在AI可解释性方面取得进展。
ProteinRos宣布推出新一代结构预测模型ESMFold2，该模型能够从单条序列直接预测蛋白质结构，代表了技术上的重要进展。
据《每日电讯报》报道，法国总统马克龙撕毁65年来的原则，决定动用法国核武器保卫欧洲，无论美国是否参与。波兰、德国等国家对此关注。
SpaceX IPO文件披露，亏损同比增长700%，收入增速放缓至个位数，市销率达107倍。文件显示公司尚未盈利，但营收仍增长。
Alex Rives宣布推出ESMFold2，一个用于蛋白质生物学的开放科学引擎，支持预测、设计和发现。
JEPA-WM研究的第二版被TMLR会议接收并获得可重复性认证，已发布新数据。
《新英格兰医学杂志》一项研究显示，美国人在各收入水平上均比欧洲人早逝，且差距在扩大，覆盖不同收入群体。
美国艺术与科学院（American Academy of Arts and Sciences）的《Daedalus》期刊出版了由James Manyika编辑的AI与科学特刊。
Andrew Ng转推称，白宫新政策要求绿卡申请人从美国境外申请，属于对合法移民的任意攻击。
微软本周取消了内部Claude Code许可证，原因是基于token的计费导致成本难以承受。
据推特用户@logic_int称，Aleph模型在主要形式推理基准测试中领先，EBMs（能量基础模型）重回关注。
Aleph，一个完全自洽的AI智能体系统，在包括Putnam在内的所有主要定理证明基准测试中表现优异，达到最高水平。
奥巴马今日就伊朗核协议发表评论，声称未动用武力即移除伊朗97%的浓缩铀。
新闻机构正越来越多地阻止互联网档案馆的Wayback Machine，尽管其记者仍依赖该服务。这一现象引发关注。
Yann LeCun于3月10日为AMI Labs完成10.3亿美元融资，三天后其NYU合作者发布了一篇论文。
Steve Rattner发推称，由于共和党削减Medicaid和Obamacare补贴，超过1000万美国人将失去医疗保险覆盖。该推文获得较多关注，引发对医疗政策影响的讨论。
NeuralBench 发布，一个统一的开源框架，用于基准测试神经人工智能模型，其1.0版本包含36个EEG任务和94个数据集。
Yann LeCun转发消息：宣布发布NeuralBench，用于在开放环境中对神经AI模型和数据集进行基准测试，并提供了代码和白皮书。
美国前交通部长Pete Buttigieg称伊朗战争成本约为5000亿美元，且仍在增加，平均每户家庭承担数百美元。