Meta AI团队宣布启动ATLAS项目，这是迄今最大规模的自动化形式化验证努力之一。该项目旨在通过自动化技术提升形式化验证的效率与规模，推动AI在数学与软件验证领域的应用。
Biohub通过社交媒体宣布发布ESMC语言模型。该模型基于数十亿条覆盖完整范围的蛋白质序列数据进行训练，属于人工智能在生物信息领域的技术应用发布。该信息为明确的产品动态，具备客观事实增量。
ProteinRos宣布推出新一代结构预测模型ESMFold2，该模型能够从单条序列直接预测蛋白质结构，代表了技术上的重要进展。
Alex Rives宣布推出ESMFold2，一个用于蛋白质生物学的开放科学引擎，支持预测、设计和发现。
微软本周取消了内部Claude Code许可证，原因是基于token的计费导致成本难以承受。
新闻机构正越来越多地阻止互联网档案馆的Wayback Machine，尽管其记者仍依赖该服务。这一现象引发关注。
Yann LeCun于3月10日为AMI Labs完成10.3亿美元融资，三天后其NYU合作者发布了一篇论文。
Steve Rattner发推称，由于共和党削减Medicaid和Obamacare补贴，超过1000万美国人将失去医疗保险覆盖。该推文获得较多关注，引发对医疗政策影响的讨论。
NeuralBench 发布，一个统一的开源框架，用于基准测试神经人工智能模型，其1.0版本包含36个EEG任务和94个数据集。