快速导航

miniF2F-Dafny:通过自动验证的LLM引导的数学定理证明

网易号
CreateAMind
2026-01-22

在2N+A空间AI给出的四条定理

网易号
古城孤魂
2026-01-19

Ax-Prover：用于数学与量子物理定理证明的深度推理智能体框架

网易号
CreateAMind
2026-01-22

Gemini证明数学新定理！全程没联网

网易号
人工智能学家
2026-01-17

为什么要学习正弦定理和余弦定理？

网易号
中科院物理所
2022-03-13

微积分基本定理背后的直觉，将其推广到高斯定理和斯托克斯定理

网易号
老胡说科学
2021-09-16

勾股定理出自中国的“商高定理”？

视频
王大友
2025-03-06

圆周角定理、弦切角定理、切线长定理、切割线定理证明

视频
计氏数学
2020-12-06

蝴蝶定理，坎迪定理，蝴蝶定理圆外形式证明

视频
计氏数学
2021-01-03

这道题是空间射影定理天选之题，太好用啦!

视频
数学高分老曹
2026-01-22

面积之比：燕尾定理模型、蝴蝶定理、梯形蝴蝶模型、共角模型

视频
计氏数学
2020-11-07

余弦定理、正弦定理公式推导证明，三角形正弦定理面积公式

视频
计氏数学
2020-11-01

哥德尔定理：如何界定宇宙探索的局限与可能？

视频
万物研究
2026-01-14

数学课本中消失的定理，切割线定理

视频
大力小学数学
2024-02-22

数学竞赛几何理论基础：分角定理、张角定理，推理证明

视频
计氏数学
2020-12-27

初中学霸务必掌握的24个定理：中线定理

视频
邹老实课堂
2025-02-28

塞瓦定理，平面几何竞赛定理拓展

视频
计氏数学
2020-12-29

数据分析一定要懂的定理——贝叶斯定理

网易号
数据分析不是个事儿
2021-09-07

笑不活了！这勾股定理解释，智商直接被按在地上摩擦

视频
格林聊体育
2026-01-22

三正弦定理得出的最大角定理及本质由三余弦定理得出的最小角定理

视频
数学高分老曹
2025-01-19
没有更多内容了
热点推荐
毛主席下令“丢卒保车”保全大局，皮定均率七千将领甘愿当小卒

毛主席下令“丢卒保车”保全大局，皮定均率七千将领甘愿当小卒

古书记史
2026-01-19 01:30:53
江苏要造火箭了

江苏要造火箭了

知扬中
2026-01-22 17:45:37
A股：如果现在是牛市，务必死记“并列阳线满仓，并列阳线清仓”

A股：如果现在是牛市，务必死记“并列阳线满仓，并列阳线清仓”

一方聊市
2026-01-23 00:21:08
法媒：法国总统府回击特朗普言论

法媒：法国总统府回击特朗普言论

参考消息
2026-01-22 16:48:23
俄方：部分毛泽东和斯大林通信档案今年将首次公开

俄方：部分毛泽东和斯大林通信档案今年将首次公开

观察者网
2026-01-21 17:15:09
46岁张柏芝这是怎么了!满脸享受不断尖叫,表情销魂,让人血脉偾张

46岁张柏芝这是怎么了!满脸享受不断尖叫,表情销魂,让人血脉偾张

八星人
2026-01-22 09:35:15
71球超越因扎吉，凯恩升至欧战历史射手榜第六位

71球超越因扎吉，凯恩升至欧战历史射手榜第六位

懂球帝
2026-01-22 05:26:41
专家说出实话：春节还没到，3个“怪象”就出现了，让人防不胜防

专家说出实话：春节还没到，3个“怪象”就出现了，让人防不胜防

我不叫阿哏
2026-01-23 02:55:17
布鲁克林与父母决裂后，竭力维系和妹妹哈珀的关系，背后真相曝光

布鲁克林与父母决裂后，竭力维系和妹妹哈珀的关系，背后真相曝光

夜白侃球
2026-01-20 20:39:18
中国第3位：陈冬获一级航天功勋奖章，特级仅1位，下一位会是谁？

中国第3位：陈冬获一级航天功勋奖章，特级仅1位，下一位会是谁？

环球科学猫
2026-01-22 11:05:37
既然选择了美国，那就请坚持到底！我们绝不插手，就要静静看着！

既然选择了美国，那就请坚持到底！我们绝不插手，就要静静看着！

现代小青青慕慕
2025-12-16 12:16:34
摩友加油站呲汽油后续：账号被扒却不认账，强行加油只是冰山一角

摩友加油站呲汽油后续：账号被扒却不认账，强行加油只是冰山一角

离离言几许
2026-01-22 17:43:43
“金杯车”生产商鑫源汽车发布新Logo，被指“撞脸小米”

“金杯车”生产商鑫源汽车发布新Logo，被指“撞脸小米”

IT之家
2026-01-21 13:17:26
批评美国后不到24小时，古特雷斯取消参会，特朗普对华发出邀请

批评美国后不到24小时，古特雷斯取消参会，特朗普对华发出邀请

知鉴明史
2026-01-21 18:07:18
18轮比赛已有6位主帅下课 CBA本季为何换帅频繁？

18轮比赛已有6位主帅下课 CBA本季为何换帅频繁？

林子说事
2026-01-23 00:02:30
爱尔兰总理：世界无法“单打独斗”，中欧合作至关重要

爱尔兰总理：世界无法“单打独斗”，中欧合作至关重要

中国日报网
2026-01-23 03:02:07
阿里巴巴股价突然直线拉升，市值大涨2000亿元！发生了什么？

阿里巴巴股价突然直线拉升，市值大涨2000亿元！发生了什么？

每日经济新闻
2026-01-22 23:26:16
巨化股份2025年净利预增至35.40亿元到39.40亿元，同比增长超80%

巨化股份2025年净利预增至35.40亿元到39.40亿元，同比增长超80%

雷达财经
2026-01-22 16:33:07
4376台！尊界S800销量失控了

4376台！尊界S800销量失控了

品牌头版
2026-01-20 18:53:55
阿夫迪亚：因我是以色列人而指责我毫无理由，中东以外的人不该指手画脚

阿夫迪亚：因我是以色列人而指责我毫无理由，中东以外的人不该指手画脚

懂球帝
2026-01-22 08:34:28
2026-01-23 04:35:00
© 1997-2026 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版