AlphaGeometry2构造的辅助线用红色表示，E是BI延长线上的点 ，使得∠AEB=90°，通过E点进一步得到了几对相似三角形，最终完成证明。

谷歌DeepMind最新数学AI，一举解决了2000-2024年IMO竞赛中84%的几何问题。 AlphaGeometry2论文发布，在总共50道题中完成了42道，相比去年的一代多完成了15道。 作为对比，纯语言模型OpenAI o1和Gemini Flash Thinking一道都解决不了。 Nature发文评价：DeepMind AI粉碎了数学难题，达到金牌得主水平，与顶级人类选手相当。 就比 ...

医脉通导读本项Cochrane系统评价提示，无论抗抑郁药整体还是SSRIs、SNRIs、其他抗抑郁药，针对广泛性焦虑障碍（GAD）的疗效和可接受度呈现出高度一致和稳健的模式，即：1. 有效率显著高于安慰剂；2. 全因停药率与安慰剂无显著差异；3.

*仅供医学专业人士阅读参考从指南看痛风的治疗细节撰文丨张泰胜痛风是一种肌肉骨骼疾病，其特征是急性关节炎急性反复发作，这是由于关节中尿酸钠（MSU）晶体沉积造成的。它影响高达1%至2%的成年人，且痛风患者往往容易伴发其他代谢性疾病，如糖尿病、高脂血症、 ...

Stellantis e Mistral AI ampliano la loro collaborazione per integrare l’intelligenza artificiale in progettazione, produzione ...