GPT-6 Astra

如何评价 GPT-6 Astra 给出的 Liouville 版本哥德巴赫猜想证明？

近日，网友Captain Sude宣布GPT-6 Astra在数学领域取得突破，成功无条件证明了哥德巴赫猜想的Liouville弱形式。该证明并非仅依赖算力，而是通过逻辑推理完成，并已通过Lean 4的形式化验证。此进展涉及利用刘维尔函数模拟素数分布，旨在探索乘法积木与加法组合之间的深层数学秩序。

OpenAI发布GPT-6 Astra

OpenAI发布了新一代AI模型GPT-6 Astra，该模型被定位为公司实现通用人工智能（AGI）十年目标中的关键里程碑。目前，该模型已向Daybreak计划中的企业用户推出，且计划为ChatGPT付费用户提供带有网络安全防护栏的版本。GPT-6 Astra在代表用户操作计算机及执行工作相关任务方面具有显著能力。

OpenAI总裁宣布AGI到来

当地时间9月3日，OpenAI发布新一代旗舰模型GPT-6 Astra。该公司将其定位为全球最强的计算机操控模型，并将其视为构建通用人工智能（AGI）进程中的关键里程碑。OpenAI总裁格雷格·布罗克曼表示，现在可能正身处AGI时代。该模型将分批向付费用户及企业用户开放，并配备网络安全防护栏。