菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
中文摘要
菲尔兹奖得主称，AI近期数学突破主要靠“寻找反例”来挑战猜想。
English Summary
A Fields Medalist stated that AI's recent mathematical breakthroughs mainly come from finding counterexamples to conjectures.
原文节选
AI最近最出圈的数学突破，都在“找反例”
中文摘要
菲尔兹奖得主称，AI近期数学突破主要靠“寻找反例”来挑战猜想。
English Summary
A Fields Medalist stated that AI's recent mathematical breakthroughs mainly come from finding counterexamples to conjectures.
AI最近最出圈的数学突破，都在“找反例”