Astra has solved
10 hard maths problems (published 1 August 2026) following on from its
disproof of the Erdös unit distance conjecture (from combinatorial geometry) in May 2026.
A paper of almost 250 pages (inclusive of references) is available from OpenAI's website.
No comments:
Post a Comment