在一个需要编写自定义内核以优化前缀和运算的任务中，o1-preview不仅完成了任务，还创造了惊人的成绩：将运行时间压缩到0.64毫秒，甚至超越了最优秀的人类专家解决方案（0.67毫秒）。

采用”数学家+AI（包括自动定理证明系统和大模型）+证明辅助语言Lean”这样的协作方式，构建一个展示 4694个 magma等式 （最多四次使用magma操作） 之间所有蕴含关系的 “蕴含图”。

众所周知，近期发布的 OpenAI o1 在数学、 代码、长程规划等问题上取得了显著提升，而背后的成功离不开后训练阶段强化学习训练和推理阶段思考计算量的增大。基于此，有人认为，新的扩展律 —— 后训练扩展律（Post-Training Scaling ...

示教结束后，机械臂及夹爪只需要重复示教过程中记录的运动轨迹及开合状态即可完成咖啡的制作。研究人员表示由于未使用视觉反馈，轨迹重复阶段所有物品的位置都需与示教阶段一致，之后可通过引入视觉反馈和AI算法来实现更加智能和通用的模仿学习。

它在所有公开可用的、参数少于20亿的模型中表现优异，并以平均准确率高出1.32%、缓存大小减少11.67倍、吞吐量提升3.49倍的成绩超越了Llama-3.2-3B。

在加入Codeium之前，Chen曾在Meta工作，帮助为Oculus Quest等VR头显构建软件工具。Mohan是自主交付初创公司Nuro的技术主管，负责管理自主基础设施团队。

在图像、视频生成模型中，tokenizer 的核心作用是将连续的、高维的视觉数据（如图像和视频帧）转换成模型可以处理的形式，即紧凑的语义 token，它的视觉表示能力对于模型的训练和生成过程至关重要。就像上述论文作者所说，「tokenizer ...

其中之一，为了保证引用资料的可靠性，Consensus看上去下了功夫。它提供了信息来源的多个维度，包括作者背景、发表时期、期刊信誉、被引次数、基金支持和文章内容等。

AI 大神 karpathy 转发并评论，「人们常常惊讶地发现，公司在工作电脑上预装间谍软件（通常是被动监控 / 出于安全考虑）是标准做法。人工智能可以显著『改善』这一点。不在公司电脑上登录或混合任何个人事务是良好的习惯。」 ...

今年是世界互联网大会乌镇峰会“新十年”的开始，也是中国全功能接入国际互联网30周年。在乌镇峰会开幕式上，雷军回顾其互联网创业征程，由衷感慨：“我作为产业代表，有幸经历了中国互联网的全部阶段，深感中国是互联网技术持续变革创新的沃土。”（Ps:据传雷教主 ...

2024年，陶哲轩力推MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard的一篇新论文，认为两人在证明黎曼猜想方面取得了重大突破。

如果去掉这些「超权重」，模型就完全摆烂了，开始胡言乱语，文本都不会生成了。但是如果去掉其他一些不那么重要的特征，模型的表现只会受到一点点影响。 它们会放大输入 token 激活的离群值，这种现象研究者们称之为「超激活」（super ...