数学-奈飞网

字节发布 Seed Prover 1.5：全新 Agentic 架构，更强数学推理表现

字节跳动Seed团队推出新一代形式化数学推理专用模型SeedProver1.5，通过大规模的AgenticRL训练，其推理能力和推理效率取得显著进步。相比上一代模型，SeedProver1.5在16....

奈飞网 2025-12-24 12 #数学 #seed #推理

根据HuggingFace页面信息，深度求索DeepSeek团队正式推出新一代大语言模型DeepSeekMath-V2，专注于实现可自验证的数学定理证明能力，在数学推理的可靠性方面取得关键突破。该模型...

奈飞网 2025-11-28 2 #数学

感谢网友补药吖的线索分享！北大数学学院“黄金一代”迎来首位院士代表。1999级校友、现任北京大学博雅特聘教授、数学科学学院副院长的刘若川，近日当选为中国科学院院士。△图源：北大数院官网出生于1980年...

根据OpenAI最新发布的一项研究显示，其新一代模型GPT-5在医学与数学研究方面展现出显著的科研加速能力，能够大幅压缩文献整合与数据解析所需的时间。不过，报告也特别强调，该模型目前尚不具备「自主」执...

图片来源：AI生成...

奈飞网 2025-10-22 6 #数学

...

奈飞网 2025-06-17 5 #数学 #数学家 #llm

“天才少女”是6月13日的新闻热点。一个中专在读女生，获得了阿里数学竞赛预赛名列前茅的成绩。瞬间燃爆全网。听到这个消息，我的第一反应是心情很不...,科学网...

[敬请读者注意]本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文...,科学网...

人们都说德国数学家高斯是数学王子，你哪来的“数学公主”呀？我说的这位女数学家索菲·热尔曼，其实是与高斯同时代的人物，和高斯还有过一段时间的书...,科学网...

欧拉在研究费马最后猜想时，也提了一个猜想，欧拉猜想还引出了一个“最短的数学论文”…… 在数论的历史长河...,科学网...