an openai reasoning model independently solved a 1946 erdos unit-distance problem using algebraic number theory rather than conventional geometry, and a fields medalist called it an undeniable milestone. separately yann lecun left meta to found a lab pursuing non-transformer ai, arguing current models cannot handle physical reasoning. the field is simultaneously claiming a novel proof and one of its architects declaring the dominant architecture a dead end.