Melanie Matchett Wood

mentions 2 type Person feed RSS

// recent coverage 2 mentions

12:09

2026-08-02

sourcefeed.dev

artificial-intelligence

OpenAI Disproved an Erdős Conjecture, and the Math Checks Out

OpenAI announced that its internal reasoning model disproved the Erdős unit distance conjecture, a problem open since 1946, with the result verified by named mathematicians including Fields Medalist T…

09:00

2026-08-02

gizmodo.com

artificial-intelligence

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math

OpenAI announced its next major AI model, Astra, in a blog post about mathematics, revealing that the math results were achieved by an internal version of Astra. The model, which follows GPT-5.6 Sol, …

// co-occurs with top 8 entities

OpenAI 2 Astra 1 Sam Altman 1 GPT-5.6 Sol 1 Hugging Face 1 The Information 1 GPT-5 1 Thomas Bloom 1

// topics top 4 topics

artificial intelligence 2 ai research 2 large language models 1 ai products 1