数学

新智元报道编辑，peter东乔杨，新智元导读，在面对复杂的推理任务时，SFT往往让大模型显得力不从心，最近，CMU等机构的华人团队提出了，批判性微调，CFT，方法，仅在50K样本上训练，就在大多数基准...

新智元报道编辑，桃子，新智元导读，o3，mini成功挑战图论中专家级证明，还得到了盛赞，经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式，o3，mini竟然已经...

新智元报道编辑，编辑部JHNY，新智元导读，就在刚刚，Anthropic祭出首个混合推理Claude3.7Sonnet，堪称扩展思考模式的最强模型，在最新编码测试中，新模型暴击o3，mini、Deep...

新智元报道编辑，Aeneas好困，新智元导读，给DeepSeek，R1推理指导，它的数学推理能力就开始暴涨，更令人吃惊是，Qwen2.5，14B居然给出了此前从未见过的希尔伯特问题的反例！而人类为此耗...

新智元报道编辑，静音桃子，新智元导读，一年一度普特南数赛开奖了，MIT连续5年夺冠，5位00后本科生再创奇迹，还有团队第一，花落MIT，普特南数学竞赛，结果出炉！MIT再次成为全世界的焦点，连续5年夺...

新智元报道编辑，AeneasKingHZ，新智元导读，就在刚刚，希尔伯特第六问题，被华人学者解决了！北大数学07级的邓煜、中科大少年班的马骁联手陶哲轩高徒ZaherHani，完成了这个125年的奇迹，...

新智元报道编辑，编辑部HNZ，新智元导读，强化学习之父RichardSutton和他的导师AndrewBarto，获得了2024年图灵奖，有人说，图灵奖终于颁给了强化学习，这是迟到的，奖励，2024年...