All Articles
1 min read
Исследования2026年10月7日
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could…
Matthias Bastian·The Decoder
Original SourceKey Takeaways
- 01.OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification
- 02.Each result consumed about three hours of ChatGPT Pro compute on average
- 03.But 25 Fields Medal winners warn that mass-producing mathematical truths could…
This material is provided as an extended analytical summary.
Read full article at sourceAggregated within AI Qazaqstan national intelligence stream with author attribution.
Related Intelligence
All stories →Исследования1 мин
ChatGPT 新增受 PIN 码和 Face ID 保护的加密聊天
OpenAI 正在向 ChatGPT 推出加密聊天功能，允许用户用 PIN 码或生物识别保护隐藏单独的对话。这一新功能有助于保护个人对话不被他人查看，即使用户将手机交给他人也无法访问。
Tech-news.kz
Исследования1 мин
微软的 MAI-DxO 系统诊断复杂疾病比医生更准确
微软开发的 MAI-DxO 人工智能系统在诊断复杂临床病例时表现优于全科医生。内部测试中，该系统的诊断准确率超过 80%，在某些指标上甚至是医生结果的两倍……
Tech-news.kz
Политика и регулирование1 мин
瑞典限制政府工作电脑访问 ChatGPT 和 Claude
从10月26日起，瑞典政府机关工作人员不得在公务电脑上使用 ChatGPT 和 Claude 的浏览器版本。当局担心，使用未经国家批准的 AI 服务可能导致机密数据泄露，据传……
Tech-news.kz