Carina Hong 的愿景并非仅仅打造一个能解数学题的AI，而是要创造一位“AI数学家”——一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的智能系统。 在Axiom Math，Ono 遇…...
同事们帮忙联络，仍找不到有空档的工班时，林美季竟轻松解决了问题，夏芷为报答美季，约了义男参加聚会，在聚会中美季大胆对义男表白了…小茑找到在会场监工的夏芷，开口邀请夏芷离职加入她的创业团队，因她相信夏芷是具有被…...
)
)