搜索
美国本科生最难数学竞赛，o1 pro竟然只用半小时就全部做出来了？要知道，参赛学生的正常答题时长是6小时。不过网友们仔细看它的解题过程后发现，错误率似乎高达100%，12道题没有一道完全正确？
数学大佬陶哲轩和OpenAI两位高管最近进行了一场线上对谈，主题为“The Future of Math with o1 Reasoning”，即以推理为主的o1模型如何与数学融合，从而解锁突破性的科学进步。
o1推理代表着推理的未来。菲尔兹奖得主陶哲轩在OpenAI最新访谈中表示，AI可以帮助从头开始重新设计数学，以前所未有的规模处理数学问题，引领着一个全新的发现时代。
大家好，我是卷卷兔。
QwQ 具有神奇的推理能力。 一个刚发布两天的开源模型，正在 AI 数学奥林匹克竞赛 AIMO 上创造新纪录。
完蛋了，高考落榜了！
家人们，国产o1大模型，最近着实是有点火啊。 就在今天，昆仑万维的Skywork o1也开启了邀测。 那一波实测，这不就得安排一下么。
11 月 16 日，久未露面的月之暗面创始人杨植麟突然现身，召开了一场媒体发布会。
57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
最近，大家都被这条消息吓到了：传说Grok 3已经成功证明出黎曼猜想？！虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远。