OpenAI下一代模型Astra成功证明10个全新数学结果

摘要与判断

OpenAI 下一代主要模型 Astra 成功证明了包括“nonsofic groups 存在”在内的 10 个全新数学结果，并同步发布了完整的 Lean 形式化证书与思维链推理过程。学者 Ethan Mollick 指出，相关证明的 API 成本不足两千美元，这标志着大语言模型在短短两年内从无法稳定进行基础运算，跨越到了具备解决前沿高级数学与科学问题能力的阶段，展现了新一代模型极高的应用价值。

Topics

引用和原文

• Some things to note: 1) AI is getting very good at math and science. 2) Two years ago LLMs
• 原文链接

Trace

Raw Item

raw_c32974584e9846db

Processed Item

processed_73ae351aeb4e40d6

Source

source_x_feishu_candidate_emollick

Cluster

查看所属簇

LLM Logs

llm_36070b43cd1d4285, llm_ac20bef31b7d4525, llm_e3f5acfce2594cb6

Coze Loop

06824adbc6ef86e1ae58b1b0cfee2e9a