群论

数学界著名的“悬案簿”——Kourovka Notebook，如今迎来了AI的突破性进展。 群论领域一个困扰学界数十年的问题（第21.10号），被牛津大学数学家 Marc Lackenby 借助谷歌的新系统成功攻克。 有趣的是，AI首次提供的证明是错误的，但系统中的审查Agent敏锐地发现了其中的漏洞。 Lackenby在发现这个问题后，瞬间意识到：“等等，…