在传统解法中，人类参赛者通常会借助三角函数、复数或其他计算方法来求解。而对于AlphaGeometry而言，其DDAR系统仅依靠基本的角度关系推导和比例关系推导，因此需要引入一些辅助点的构造。

2月7日，知情人士称，AI创企Anthropic有望获超额认购，实际融资规模高于此前媒体报道的20亿美元，公司估值则会超过600亿美元。 据悉，Menlo Ventures、Bessemer Venture Partners、阿联酋AI投资公司MGX和General Catalyst等企业正洽谈参与融资事宜。知情人士透露，正洽谈牵头本轮融资的光速创投预计将投资约10亿美元。 Anthropic是O ...