AI快开门

发现最好的AI工具

2025-08-21

GPT-5数学与科研突破

OpenAI GPT-5 Pro被曝独立证明新数学定理,读论文后给出更精确边界,总裁称出现“生命迹象”;同时GPT-5在SWE-bench Verified以74.9%得分宣称代码能力全球第一,虽被质疑“跳过难题”,仍预示模型向科研与推理密集型场景渗透,可能重塑学术与工业研发流程。
2024-10-13

AI数学推理突破

清华校友团队用LeanAgent系统成功证明162个高阶数学定理,攻克陶哲轩形式化难题;同时o1模型在复杂推理任务上再进化,显示大模型数学与逻辑能力正快速逼近甚至超越人类专家,为科研自动化打开新范式。