DeepMind的新数学模型AlphaGeometry在规定的时间内解决了25个奥林匹克问题,优于之前的最先进技术解决的10个问题。重要的是,它是在1亿个合成问题的训练下训练的,这消除了现有的数据瓶颈。DeepMind已经开源了代码和...
Read MoreTACO是一个新的基准,用于评估系统生成代码的能力。它比现有数据集大得多,包含更具挑战性的问题。在简单的问题上,GPT-4的正确率达到30%,而在最难的问题子集上,它仅能达到2%。
Read More最近的一项研究表明,为代码添加简单语言解释显著提高了语言模型在19种不同编程语言之间的翻译效果,特别是对于复杂代码的翻译。这项研究由GitHub和OpenAI共同完成,GitHub在其代码库中添加了简单语言解释,并使用这...
Read More谷歌研究人员提出了一种名为Self-Play Preference Optimization (SPO) 的自我对弈优化算法。该算法相比传统的强化学习对齐方式更加简单。研究人员运用博弈论,找到了对噪声干扰鲁棒性强、性能表现优异的单人自我对弈...
Read More虽然DNA与计算机代码不是类比的,但生物系统有一些途径以类似于计算机的方式运行。‘if’语句类似于转录激活剂,转录抑制剂可以充当‘while’语句,还有一些代码可以使其他部分可有可无,类似于GOTO语句。由于所有事件都...
Read MoreALOHA机器人系统以其令人难以置信的烹饪和家务任务演示在互联网上引起了轰动。它使用了许多有趣的训练技术(主要是模仿学习)。该代码库包含了ALOHA系统的一些基线训练算法,用于模拟。
Read More随着Just in Time(JIT)编译器的加入,即按需编译代码,这可能是自Python 3.11添加Specializing Adaptive Interpreter以来对CPython解释器的最大改变之一。
Read More