13:07
2026-08-02
tjoresearchnotes.wordpress.com
artificial-intelligence
Reaping without sowing
OpenAI published ten advances in mathematics and theoretical computer science, including results on sphere packing, non-sofic groups, and a counterexample to Connes' rigidity conjecture, with Lean cer…