AWS Bedrock 现已提供 OpenAI 的最新模型和托管代理服务

OpenAI 的 Codex 推出双模式界面：办公工作用 Excelmogging，编程用 Codemaxxing

Gate 新闻消息，4月29日——OpenAI 首席执行官 Sam Altman 今天在 X 上宣布，重新设计了 Codex 界面，为用户推出两种截然不同的模式。 “Excelmogging” 面向日常办公任务，采用简化界面，并配有标语 “Same tools, simpler interface,”，示例任务包括创建电子表格。

美媒：白宫行政命令草案允许 Anthropic Mythos 模型进入政府

根据 Axios 于 4 月 28 日引用知情人士的报道，白宫正在制定指引，允许各联邦机构绕过 Anthropic 的供应链风险认定（SCRD），并引入包括 Anthropic 旗下 Mythos 模型在内的新模型供政府使用。就此，白宫发表官方声明称，任何政策声明都将直接由总统发布，其他任何说法都纯属猜测。

泰勒·斯威夫特申请声音和图像商标，防范 AI 仿冒内容传播

根据 BBC 于 4 月 28 日的报道，美国流行歌手泰勒·斯威夫特（Taylor Swift）已在美国提交三项商标申请，涵盖声音音频片段及舞台图像，目的是保护其声音与外观免受 AI 仿冒；商标律师 Josh Gerben 首先在其博客上披露了上述申请细节。

白宫起草指导文件：允许 Anthropic 使用，并豁免供应链风险认定

Gate 新闻消息，4月29日——据熟悉此事的人士称，白宫正在起草一份行政指导文件，拟允许政府机构对 Anthropic 的供应链风险认定进行豁免，并引入包括 Mythos 在内的新的人工智能模型。所提出的行政措施可能为缓解白宫与 Anthropic 之间的紧张关系提供一条路径，其中一位消息人士将这项努力描述为一种“在把他们带回来时也能挽回面子”。

GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196

据OpenAI与ScientificAmerican报道，23岁业余者Liam Price在GPT-5.4 Pro协助下解决了60年未解的 Erdős#1196原始集合问题。解题约80分钟推理、30分钟整理成LaTeX并提交erdosproblems.com待审。要点是将整数结构与Markov过程连结；Tao与Lichtman表示肯定。目前仍在社区验证阶段，尚未完成同行评审，信息见ABMedia与OpenAI4/28 Podcast。

Eli Lilly 与 Profluent 达成 22.5 亿美元 AI 设计 DNA 编辑药物合作

Gate 新闻消息，4月29日——美国制药公司 Eli Lilly 于4月28日宣布，它已与 AI 生物技术初创公司 Profluent 签署了一份总额最高 22.5 亿美元的协议，用于开发 DNA 编辑药物。Lilly 将获得因该合作产生的任何药物的独家权利。 两家公司未披露预付款或具体疾病靶点。该合作聚焦于被称为重组酶的由 AI 设计蛋白，它们能够在细胞基因组的精确位置插入大段 DNA 千碱基规模 ，从而有可能在现有工具（例如 CRISPR/Cas9）之上实现突破。 该协议与 Lilly 在基于 AI 的药物发现方面的更广泛投资相一致：截至目前，尚无任何由 AI 设计的药物获得美国监管批准，尽管已有多种候选药物正在临床试验中。1 月份，Lilly 还与 Seamless Therapeutics 签署了一项价值 11.2 亿美元的单独合作，用于开发基于重组酶的听力损失治疗方案。 Profluent 也在通过开源渠道扩大其技术的可及性。该初创公司发布了 OpenCRISPR-1，其被描述为全球首个面向获得授权的研究与商业用途的开源、由 AI 生成的基因编辑器。在人类细胞测试中，OpenCRISPR-1 的编辑效率与广泛使用的 CRISPR 酶 SpCas9 相当，同时将基因组其他位置的非预期编辑减少了 95%。