OpenAI claims reasoning model disproves 80-year-old geometry conjecture (techcrunch.com)

OpenAI's reasoning model reportedly disproved a geometry conjecture unsolved since 1946, with independent verification from mathematicians.