技术博客

DeepMind近期宣布了一项重要开源项目——首个形式化数学猜想库，该项目受到著名数学家陶哲轩支持。通过解析数论中的兰道猜想为切入点，DeepMind致力于探索人工智能在解决复杂数学问题上的潜力，为数学研究开辟新路径。