目录
数学
条目：13
2026年三月
5 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[BLOGS_PODCASTS] | 3min | mic
3 Questions: On the future of AI and the mathematical a 03-16
AI
数学
物理 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
AI与数理科学的融合：Jesse Thaler谈双向赋能与未来愿景 03-13
AI
数理科学
Jesse Thaler |
[自动]
[BLOGS_PODCASTS] | 3min | mic
杰西·泰勒：AI与数理科学的双向桥梁及共同进步愿景 03-13
AI
数理科学
跨学科 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
杰西·萨勒：构建AI与数理科学的双向桥梁 03-12
AI
数理科学
跨学科 |
[自动]
[JUEJIN] | 2min | sticky_note_2
高德纳称赞Claude协助解决《计算机程序设计艺术》难题 03-06
Claude
高德纳
Donald Knuth |
2026年二月
5 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
Lean 4 定理证明器工作原理及其在 AI 领域的新优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 4min | newspaper
数学、计算机科学与人工智能综合资源指南 02-16
资源指南
数学
计算机科学 |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-16
自主研究
数学
AI |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-15
自主研究
数学
AI |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-15
自主研究
数学
AI科学家 |
2026年一月
3 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🔥有多少种可能的国际象棋对局？天文数字震撼揭秘！ 01-28
国际象棋
香农数
组合数学 |
[自动]
[HACKER_NEWS] | 2min | newspaper
🔥两个扭曲形状竟解开百年拓扑谜题？🧩 01-27
拓扑学
海伍德猜想
数学 |
[自动]
[HACKER_NEWS] | 2min | newspaper
数学、物理、生物的万能模式！🧪🧬2013年震撼发现 01-27
本福德定律
统计学
幂律分布 |
无匹配条目