AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
2026-05-21
·
via Scientific American
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof tha…
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。