陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」陶哲轩转发，AI搞数学证明的标准习题集来了！
来自主题: AI技术研报
7802 点击 2025-05-31 17:44
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
陶哲轩转发，AI搞数学证明的标准习题集来了！
近期，MetaNovas Biotech 元星智药的首席科学家罗衡博士接受了《happi China》杂志的采访。访谈中，他围绕 AI 加生物知识图谱驱动的机制理解和功效型原料开发，深度剖析了 AI 技术，特别是生物知识图谱的引入，如何加速化妆品原料的研发，助力开发更高效、更精准的功效型化妆品……
本想练练手合成点数据，没想到却一不小心干翻了PyTorch专家内核！斯坦福华人团队用纯CUDA-C写出的AI生成内核，瞬间惊艳圈内并登上Hacker News热榜。团队甚至表示：本来不想发这个结果的。
AI coding 这条 AI 行业今年的主线，在最近这段时间愈发清晰。
当状态空间模型遇上扩散模型，对世界模型意味着什么？
2025年，DeepSeek迅速席卷全国医疗行业。
为提升大模型“推理+搜索”能力，阿里通义实验室出手了。
孙子兵法有云：“故其疾如风，其徐如林”，意指在行进迅速时，如狂风飞旋；而在行进从容时，如森林徐徐展开。
「知其然，亦知其所以然。」
近年来，语言模型技术迅速发展，然而代表性成果如Gemini 2.5Pro和GPT-4.1，逐渐被谷歌、OpenAI等科技巨头所垄断。