AI新工具(20240118)：AlphaGeometry解答国际数学奥林匹克竞赛中的几何问题-CSDN博客

本文链接：https://blog.csdn.net/weixin_40425640/article/details/135680612

本文介绍了DeepMind的AlphaGeometry在解决数学奥林匹克几何题上的进展，CogView的40亿参数Transformer在文本到图像生成中的应用，以及GPT-SoVITS平台的多工具集成。同时提到了轻竹办公的AI-PPT工具和ContrastivePreferenceOptimization对机器翻译的改进。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

AlphaGeometry

AlphaGeometry是由谷歌旗下的DeepMind团队开发的一款人工智能系统，它能够解决国际数学奥林匹克竞赛（IMO）的几何题。AlphaGeometry模型通过神经语言模型和符号推理引擎相结合的方式，实现了复杂的几何定理证明。该模型通过合成数据训练，能够在数学领域进行逻辑推理、发现和验证新知识，并且在IMO竞赛中的表现已经接近人类金牌选手的水平。AlphaGeometry已经成功解答了一系列国际数学奥林匹克竞赛中的几何问题，并且带来了一系列令人震惊的成就。

CogView

CogView是一个带有VQ-VAE tokenizer的40亿参数的Transformer，旨在解决文本到图像的生成问题。它通过展示了各种下游任务的微调策略，例如风格学习、超分辨率、文本图像排名和时装设计，以及稳定预训练的方法，如消除NaN损失，并在模糊MS COCO数据集上实现了SOTA FID。CogView的框架结合了VQVAE和Transformers，为跨模态生成式预训练提供了有前途的结果，并揭示和解决了可能源于数据异构性的精度问题。