22:47
2026-08-01
twitter.com
artificial-intelligence
Some initial thoughts, and a complicated mix of feelings
OpenAI's latest AI models have solved several major open problems in mathematics and computer science, including the Jacobian conjecture, new circuit lower bounds, and quantum parallel repetition theo…