Hacker News new | past | comments | ask | show | jobs | submit
cma | on: An OpenAI model has disproved a central conjecture in discrete geometry
Same could be said for human mathematicians that learn from tools like Lean.