Tjoresearchnotes (auto-discovered)

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…

A researcher in quantum information theory warns that the increasing use of large language models (LLMs) to solve open conjectures will lead to a rapid depletion of easy problems, followed by a devalu…

A researcher criticizes the shallow use of large language models (LLMs) to disprove famous mathematical conjectures like the Jacobian and unit distance conjectures, arguing that the true value of math…