{"full_name":"openai/math","owner":"openai","name":"math","url":"https://github.com/openai/math","description":null,"homepage":null,"topics":[],"language":"Lean","license":"Apache-2.0","avatar":"https://avatars.githubusercontent.com/u/14957082?v=4","created_at":"2026-10-06T21:47:02Z","pushed_at":"2026-10-30T00:35:38Z","metrics":{"stars":17473,"forks":1976,"watchers":420,"issues":0,"prs":4,"releases":0,"issues_open":null,"issues_closed":null,"prs_open":null,"prs_closed":null,"prs_merged":null,"discussions":0},"growth":{"day":{"stars":14,"forks":2,"base_day":"2026-11-09"},"week":{"stars":200,"forks":29,"base_day":"2026-11-03"}},"history":{"dates":["2026-11-02","2026-11-03","2026-11-04","2026-11-09","2026-11-10"],"stars":[17236,17273,17305,17459,17473],"forks":[1936,1947,1951,1974,1976],"watchers":[405,406,406,420,420],"issues_open":[null,null,null,null,null],"prs_open":[null,null,null,null,null]},"boards":{"new":27},"same_owner":[{"full_name":"openai/codex","name":"codex","boards":{"daily":68,"weekly":80,"monthly":87,"weekly_rate":198,"total":85}},{"full_name":"openai/whisper","name":"whisper","boards":{"weekly":192,"monthly":197,"total":117}},{"full_name":"openai/CLIP","name":"CLIP","boards":{}},{"full_name":"openai/baselines","name":"baselines","boards":{}},{"full_name":"openai/chatgpt-retrieval-plugin","name":"chatgpt-retrieval-plugin","boards":{}},{"full_name":"openai/codex-plugin-cc","name":"codex-plugin-cc","boards":{}},{"full_name":"openai/evals","name":"evals","boards":{}},{"full_name":"openai/gpt-3","name":"gpt-3","boards":{}},{"full_name":"openai/gym","name":"gym","boards":{}},{"full_name":"openai/openai-cookbook","name":"openai-cookbook","boards":{}},{"full_name":"openai/parameter-golf","name":"parameter-golf","boards":{}},{"full_name":"openai/shap-e","name":"shap-e","boards":{}},{"full_name":"openai/skills","name":"skills","boards":{}},{"full_name":"openai/tart","name":"tart","boards":{}},{"full_name":"openai/tiktoken","name":"tiktoken","boards":{}}],"issues":[],"discussions":[],"latest_release":null,"readme":true,"readme_zh":false,"news":[{"title":"Sharing AI progress in mathematics","url":"https://openai.com/index/sharing-ai-progress-in-mathematics/","hn":"https://news.ycombinator.com/item?id=49984923","source":"Hacker News","lang":"en","date":"2026-10-06","points":1363,"comments":1539},{"title":"The Exponential Time Hypothesis Is False [pdf]","url":"https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf","hn":"https://news.ycombinator.com/item?id=50251661","source":"Hacker News","lang":"en","date":"2026-10-26","points":805,"comments":302},{"title":"OpenAI withdraws three mathematical results","url":"https://twitter.com/danintheory/status/2108065033070789090","hn":"https://news.ycombinator.com/item?id=50002650","source":"Hacker News","lang":"en","date":"2026-10-08","points":382,"comments":612},{"title":"OpenAI Withdraws 3 Math Papers","url":"https://github.com/openai/math/blob/main/history.md","hn":"https://news.ycombinator.com/item?id=50003107","source":"Hacker News","lang":"en","date":"2026-10-08","points":342,"comments":3},{"title":"Integer multiplication below n log n","url":"https://github.com/openai/math/tree/main/preprints/Integer-multiplication-below-n-log-n-September-23-2026","hn":"https://news.ycombinator.com/item?id=49985524","source":"Hacker News","lang":"en","date":"2026-10-06","points":113,"comments":83},{"title":"Mathematical manuscripts and supporting proof artifacts produced by OpenAI","url":"https://github.com/openai/math","hn":"https://news.ycombinator.com/item?id=49984976","source":"Hacker News","lang":"en","date":"2026-10-06","points":45,"comments":0},{"title":"OpenAI just dropped 700 preprints of mathematical proofs and counterexamples","url":"https://github.com/openai/math/tree/main/preprints","hn":"https://news.ycombinator.com/item?id=49985740","source":"Hacker News","lang":"en","date":"2026-10-06","points":42,"comments":2},{"title":"Ask HN: Lean4 code for Modularity of elliptic curves ... ?","url":"https://news.ycombinator.com/item?id=50242256","hn":"https://news.ycombinator.com/item?id=50242256","source":"Hacker News","lang":"en","date":"2026-10-26","points":1,"comments":1},{"title":"OpenAI claims AI breakthroughs in math, physics and computing","url":"https://www.newsbytesapp.com/news/science/openai-claims-ai-breakthroughs-in-math-physics-and-computing/story","source":"NewsBytes","lang":"en","date":"2026-10-27"},{"title":"OpenAI’s Math Drop Hits GitHub, Count Stands at 722 [2026]","url":"https://shattered.io/openai-github-math-drop-719-722-count-2026/","source":"shattered.io","lang":"en","date":"2026-10-08"},{"title":"OpenAI’s math reasoning now open for scrutiny on GitHub","url":"https://quantumzeitgeist.com/github-ais-math-reasoning-scrutiny/","source":"quantumzeitgeist","lang":"en","date":"2026-10-07"},{"title":"OpenAI just posted hundreds more results on major math problems","url":"https://www.engadget.com/2279815/openai-just-posted-hundreds-more-results-on-major-math-problems/","source":"Engadget","lang":"en","date":"2026-10-07"},{"title":"OpenAI posts 377 math results on GitHub including Birch-Swinnerton-Dyer leading-term","url":"https://www.newsbytesapp.com/news/science/openai-posts-377-math-results-on-github-including-birch-swinnerton-dyer-leading-term/tldr","source":"newsbytesapp.com","lang":"en","date":"2026-10-07"},{"title":"OpenAI Publishes 722 AI-Generated Math Manuscripts, Including Work Tied to the Riemann Hypothesis","url":"https://xenospectrum.com/en/openai-math-manuscripts-verification/","source":"xenospectrum","lang":"en","date":"2026-10-06"},{"title":"OpenAI Dumps 377 New Math Results on GitHub, Publishes Hand-Wringing Blog Post","url":"https://gizmodo.com/openai-dumps-377-new-math-results-on-github-publishes-hand-wringing-blog-post-2000822613","source":"gizmodo","lang":"en","date":"2026-10-06"},{"title":"OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model","url":"https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model/","source":"unite","lang":"en","date":"2026-10-06"},{"title":"10 GitHub Repositories to Master Math in 2025","url":"https://www.analyticsinsight.net/education/10-github-repositories-to-master-math-in-2025","source":"Analytics Insight","lang":"en","date":"2025-09-26"},{"title":"GitHub math support in Markdown useful but tardy","url":"https://www.techtarget.com/searchsoftwarequality/news/252520614/GitHub-math-support-in-Markdown-useful-but-tardy","source":"techtarget","lang":"en","date":"2022-05-23"},{"title":"数学大爆炸！OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明","url":"https://news.google.com/rss/articles/CBMigwFBVV95cUxQR1lwNVJlN292V29IdllsQkMyc2hzaHBQaUxlbUp6dXNidUVMdEJSRzVqVlhYN3QzenFLRHVEWk42dEJKOW42dS00dG9YR3ZOY2tfeU4ydVNBV2NPWG1xVjhJV3g4R29XMjBwS3lqOE1leWtUNDNfbzlhMk1IT3JRS3d0TQ?oc=5","source":"手机新浪网","lang":"zh","date":"2026-11-06"},{"title":"OpenAI released 372 groups of math results on GitHub after its Millennium Prize breakthrough","url":"https://news.google.com/rss/articles/CBMic0FVX3lxTE9rLXRyaS0wUHZ1Z3QzNEVRRmhSMUNZYkJJUUQ5MnlQRUFUd2U0ZFJnZEN6MldpSHRmRHR6VDZ4Z2xXSnkyQ2pKdWNRV1RYb1VxM0R0b2gwSHV3WkJRVmFlejdaVDZGTTQ2NW5aUkpGVnllalU?oc=5","source":"Quartz","lang":"en","date":"2026-10-07"},{"title":"OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up","url":"https://news.google.com/rss/articles/CBMitAFBVV95cUxPR1N0SEltRk4tb09GVTk3QWItSUs2dFloYVNEeWl0X1d2empnc3RsN3JacEFCcThsbFd4NU5WVTQ1QkJqOUpmSHczRnV3NldBajR2RmIyTXk3akZrcnFzVEEwaHktR29WRWFoTEFSZkJySDh1ZXdlVjRyZWJNeEEtQ180SjNQQ2pvTXVZdGRzVE9jaUE5T2Y3LXZkUW9YdDBIXzVLbGRnWFVJaU4wWmRkSXlQeWg?oc=5","source":"The Decoder","lang":"en","date":"2026-10-07"},{"title":"刚刚，OpenAI公开722个数学发现！霍奇猜想、黎曼zeta函数等手稿挤爆GitHub","url":"https://news.google.com/rss/articles/CBMihwFBVV95cUxOZmVsNG0tX3FfZW1vSkRMT3ZWcHlkb2xmRzFIcXVNb0RHRjBuclh4OGRmOGctRXd2U3BESEw5TXVaazZiQjNYUUFjX2thaVBmaHRGQVJqNnhkdEFRU3FZd081RjBIN3Nzc2hVaktzcG01R2dhOWpUVXltNjdHamtITzBNcDVJcDg?oc=5","source":"新浪财经_金融信息服务商","lang":"zh","date":"2026-10-07"},{"title":"翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题|GitHub|反例|代数|清单|霍奇_手机新浪网","url":"https://news.google.com/rss/articles/CBMif0FVX3lxTE1kUHA1ODM1TmszbjJaaU52dWxoU0R4M1ZGdFotVUNBekQ4VlZDaEdGUWZzZUZjaVQwdGxVZnRySk40RmVtalZIbFlBTjBMeW5PWDFJLWhtT19IdDBoOFdDWHpRU2ljY0pJT3kxWjh3a2JKUkY0VnBhdHRlQ3NPX3c?oc=5","source":"新浪财经","lang":"zh","date":"2026-10-07"},{"title":"分享 AI 在数学领域的进展","url":"https://news.google.com/rss/articles/CBMie0FVX3lxTE96a2dEV09za25QU1E2S1oydWlCSVJSMnlvZURIMzItZEoxQW5kRlJXVmZieDBRZWpNdWlyVVUzNlplMHpVUXczeC0xT2ozekVNbkIxNXczZF9NOFA4UFVkcW8zSENqTjNQb3V0dTZ3bE1NMXBmQXQ0VXVoSQ?oc=5","source":"OpenAI","lang":"zh","date":"2026-10-06"},{"title":"DeepSeek再次屠榜！Math V2以碾压姿态终结“最强数学模型”之争，网友：在数学上，中国模型没输过","url":"https://news.google.com/rss/articles/CBMiXkFVX3lxTE1uUHhTdGVFWnlNOGxkZDJvdU5HdTZVbFpZSVhGQlg5RF9NYXF0V1h0VUxBZVhpSmI3WWZjbWJWd2Z6b3pkMkRwSUNwbUFnQWd6SVhSMThVZDk5SWJQZmc?oc=5","source":"InfoQ.cn","lang":"zh","date":"2025-11-28"},{"title":"全新多模态数学推理数据集 × 首个综合数学知识体系：We-Math 2.0","url":"https://news.google.com/rss/articles/CBMiZEFVX3lxTE5LanpkUDNTVnVhZG5fMmE1ekQwRUR1WFgxWTE1YTFqNThrVlZMNWhtU3hHMHIxcFVYQlg3VWdjUEhnSDBhZnloaGR2OE16LUFlV2ZiMG4wUGhna1NkUGxqR3EzYjc?oc=5","source":"CSDN博客","lang":"zh","date":"2025-08-28"}],"stale":false,"snapshot_at":"2026-11-10T09:35:25Z","history_start":"2026-09-06"}