OpenAI 发布 openai/PrimeGaps186：素数间隙至多 186 的条件 Lean 形式化与数值证书
OpenAI 在 GitHub 新建仓库 openai/PrimeGaps186，给出素数间隙至多 186 的条件 Lean 形式化及数值证书。该仓库以 Lean 形式化配合数值证书的方式，对素数间隙不超过 186 这一结论进行条件性验证。
#GitHub
#GitHub
今日 0 条OpenAI：GitHub 新仓库AI 评分4646
Google ResearchAI 评分5555 Google 发布 TimesFM-3 时间序列基础模型，支持零样本多变量预测
Google Research 发布时间序列基础模型 TimesFM-3，原生支持零样本多变量预测，参数量 3.3 亿，预训练数据超过 1 万亿个时间点。
OpenAI：GitHub 新仓库AI 评分3636 OpenAI 开源 monitorability-evals 评估套件
OpenAI 开源了 monitorability-evals 评估套件，该套件来自 Monitoring Monitorability 论文。