Demis Hassabis宣布，Aletheia（由Gemini Deep Think驱动）自主解决了Kirby问题，这是拓扑领域重大未解决问题集的一个里程碑，体现了AI在数学领域的突破。