半夜被AI“吓醒”，57岁导师投奔24岁华人女学霸，打造“AI数学家”

数学家Ken Ono辞去弗吉尼亚大学终身教职，加入学生Carina Hong创办的Axiom Math，致力于打造「AI数学家」。该系统旨在通过推理、发现新问题及形式化证明验证工作，推动数学超级智能的发展。Ken Ono与团队将利用AI探索数学难题，标志着数学研究领域内AI技术应用的重要进展。