{"data":{"id":"979c8e83-dbed-4400-99cc-7c2c6105bd9e","title":"Sharing AI progress in mathematics","summary":"OpenAI is releasing a broad set of new mathematical results produced by an internal frontier model, published in a GitHub repository with protocols for paper revisions and citations. Many proofs are shared as formalizations in Lean, and the company will add more as they become available. It is also publishing summaries of the model's reasoning, compute estimates in ChatGPT Pro usage, and attempted-problem statistics, with the average result using roughly three hours of ChatGPT Pro thinking.","solution":"N/A -- no mitigation discussed in source.","labels":["research","industry"],"sourceUrl":"https://openai.com/index/sharing-ai-progress-in-mathematics","publishedAt":"2026-10-06T12:00:00.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":[],"issueType":"news","affectedPackages":null,"affectedPackageNames":null,"affectedVendors":["OpenAI"],"affectedVendorsRaw":["OpenAI","ChatGPT","ChatGPT Pro"],"classifierModel":"claude-haiku-5-5","classifierPromptVersion":"v4","summaryPromptVersion":"v2","headline":null,"headlinePromptVersion":null,"cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"epssCheckedAt":null,"kevDateAdded":null,"advisoryAliases":null,"affectedPackagesSource":null,"affectedPackagesCheckedAt":null,"patchAvailable":null,"disclosureDate":"2026-10-06T12:00:00.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":null,"aiComponentTargeted":null,"llmSpecific":true,"classifierConfidence":0.8,"researchCategory":null,"atlasIds":null}}