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

AlphaGeometry

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

CogView

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

GPT-SoVITS

GPT-SoVITS-WebUI是一个集成了语音伴奏分离、自动训练集分割、中文ASR和文本标注等工具的平台。它帮助初学者创建训练数据集和GPT/SoVITS模型。

轻竹办公

轻竹AI是一款简约的PPT制作工具，通过AI一键生成内容，拥有丰富多彩的PPT模板，让用户轻松制作出完美设计的PPT。产品定位于帮助用户轻松办公，让PPT制作像呼吸一样简单。

Contrastive Preference Optimization

Contrastive Preference Optimization是一种用于机器翻译的创新方法，通过训练模型避免生成仅仅足够而不完美的翻译，从而显著提高了ALMA模型的性能。该方法在WMT’21、WMT’22和WMT’23测试数据集上可以达到或超过WMT竞赛获胜者和GPT-4的性能。

更多AI工具，参考国内AiBard123，Github-AiBard123