---
format: "aidr-story-markdown/v1"
id: "cb64f35a050902147f3a01e80e7b579b8b7572fae80e072f272ef1173fa70f31"
canonical_url: "https://aidr.today/cb64f35a?lang=vi"
title: "OpenAI rút lại ba kết quả toán học"
lang: "vi"
requested_lang: "vi"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-08T07:05:40.000Z"
category: "Open Source"
topics: ["openai","open-source","llm"]
source_urls: ["https://twitter.com/danintheory/status/2108065033070789090","https://news.ycombinator.com/item?id=50002650","https://news.ycombinator.com/item?id=50003107","https://github.com/openai/math/blob/main/history.md","https://x.com/miniapeur/status/2108124820357460200","https://x.com/TheRundownAI/status/2108214995087396923","https://x.com/0xdoug/status/2108218367962124423","https://x.com/BorisMPower/status/2108214883372466242"]
summary: "OpenAI cập nhật kho lưu trữ GitHub toán học với 6 bản hình thức hóa Lean mới, 19 bản sửa đổi và 3 bản rút lại. Kho lưu trữ hiện có khoảng 42% kết quả hàng đầu được hình thức hóa. OpenAI sẽ tiếp tục cập nhật kho lưu trữ bằng các bản hình thức hóa mới và bất kỳ lỗi nào họ nhận thấy. https://t.co/HI6otY2NTO"
---

# OpenAI rút lại ba kết quả toán học

> [Open the canonical story](<https://aidr.today/cb64f35a?lang=vi>)

**Published:** 2026-10-08T07:05:40.000Z
**Category:** Open Source
**Topics:** openai, open\-source, llm

## Summary

OpenAI cập nhật kho lưu trữ GitHub toán học với 6 bản hình thức hóa Lean mới, 19 bản sửa đổi và 3 bản rút lại\. Kho lưu trữ hiện có khoảng 42% kết quả hàng đầu được hình thức hóa\. OpenAI sẽ tiếp tục cập nhật kho lưu trữ bằng các bản hình thức hóa mới và bất kỳ lỗi nào họ nhận thấy\. https://t\.co/HI6otY2NTO

## Sources

- [Story source](<https://twitter.com/danintheory/status/2108065033070789090>)
- [Discussion](<https://news.ycombinator.com/item?id=50002650>)
- [Discussion](<https://news.ycombinator.com/item?id=50003107>)
- [Story source](<https://github.com/openai/math/blob/main/history.md>)
- [Story source](<https://x.com/miniapeur/status/2108124820357460200>)
- [Supporting source](<https://x.com/TheRundownAI/status/2108214995087396923>)
- [Story source](<https://x.com/0xdoug/status/2108218367962124423>)
- [Supporting source](<https://x.com/BorisMPower/status/2108214883372466242>)