AI找到雅可比猜想反例，张益唐研究里程碑

RT @turingbook: 害苦了张益唐的大问题雅可比猜想（1939年提出），被Fable 5找到一个反例否定了。张益唐博士七年苦苦求解没搞定，还把与导师的关系搞砸了。这是AI在数学研究领域的又一个里程碑。