浙大校友用AI突破32年拉姆齐数下界
中文摘要
浙大校友利用AI将拉姆齐数R(3,17)的下界从92提升至93，突破了32年记录。
English Summary
A ZJU alumnus used AI to increase the lower bound of Ramsey number R(3,17) from 92 to 93, breaking a 32-year record.
Original Excerpt
拉姆齐数R(3,17) 下界从92提升至93
中文摘要
浙大校友利用AI将拉姆齐数R(3,17)的下界从92提升至93，突破了32年记录。
English Summary
A ZJU alumnus used AI to increase the lower bound of Ramsey number R(3,17) from 92 to 93, breaking a 32-year record.
拉姆齐数R(3,17) 下界从92提升至93