AI 科研时代来临：GPT-5.6 证数学猜想，长征十号乙海上回收，商业航天 AI 化加速
7月12日两条科技突破：GPT-5.6一小时证明50年数学猜想开创AI独立科研先河；长征十号乙首飞实现全球首次火箭海上网系回收。AI+航天融合加速。从人做研究AI辅助到AI做研究人验证。
Zyentor 原创
3天前
28
GPT-5.6
数学证明
GPT-5.6 Sol Ultra 一小时证明 50 年数学猜想——子智能体并行推理架构深度解析
GPT-5.6 Sol Ultra用64个并行子智能体不到1小时独立证明了图论循环双覆盖猜想。LLM首次独立解决维基百科未解决数学问题。深度拆解子智能体架构、并行推理机制。成本仅275-485美元。
Zyentor 原创
3天前
50
GPT-5.6
Sol Ultra