Person
Ryan Williams
Named in AI Lately's reporting below.
In the archive
Research
OpenAI Says Its AI Proved Three Old Problems
OpenAI claims proofs in math, computing and physics, but mathematicians still doubt its last math release.
Research
OpenAI and Anthropic Both Disprove the Same Math Rule
Two AI labs say their own models broke the same 27-year-old computer science rule within hours of each other.