OpenAI发布报告：Astra模型攻克十项数学难题 - AI

Just Quick Just Quality

热门话题

白天

搜索

资讯

OpenAI发布报告：Astra模型攻克十项数学难题

14 小时前

8月1日，OpenAI宣布其下一代模型Astra在数学与理论计算机科学领域取得重大突破，成功解决十项长期未解难题，所有证明均通过Lean形式化验证，确保逻辑严谨性。这些难题涵盖高维几何、编码理论、群论等多个领域，总推理成本仅约2000美元。

上一篇：阿里巴巴发布千问3.8-MAX人工智能模型

下一篇：AI Bot网络流量暴增带来Linux市场份额虚高假象

返回列表

热文阅读

2 天前

25岁“AI股神”死于黎明前：160亿美元清仓，次日AI股暴涨

2 天前

奥特曼承认：高估了AI抢饭碗！黄仁勋：失业论完全搞反了

2 天前

蒲得宇：芯片和内存成本飙升，苹果 iPhone 18 Pro / Max 恐涨价 250~300 美元

2 天前

苹果的5万亿美元时刻：最强财报，最弱AI

2 天前

人形机器人家政清洁服务走入现实，每小时30美元

2 天前

高通回应“NEURA 4NE-1 人形机器人倒地”：短暂通信故障触发受控关机

1 天前

DeepSeek Harness启动内测，面向开源开发者开放招募

2 天前

DeepSeek-V4-Flash 正式版跑分报告：约 98% 缓存命中打造 AI 极致性价比

2 天前

马斯克刚刚关注了 DeepSeek 的 X 账号

2 天前

OpenAI 奥尔特曼推介 Astra 模型：协同 AI 智能体工作，主打长周期任务能力

上一篇：阿里巴巴发布千问3.8-MAX人工智能模型

下一篇：AI Bot网络流量暴增带来Linux市场份额虚高假象

Just Quick Just Quality

发现

资讯话题

热门话题

7 x 24跟踪全球科技动态

快讯

资讯

视频

关于我们