Claude volunteered to write its findings up as a paper, and recommended that a human number theorist validate its findings
Claude主动建议请人类数学家验证——AI主动寻求外部验证，知道自己可能出错。这种行为比结果本身更值得关注：一个足够智能的系统应该知道何时需要人类背书，而不是盲目自信。这是alignment的具体体现。
33 Matching Annotations
- Last 7 days
-
www.anthropic.com www.anthropic.com
Tags
Annotators
URL
-
- Jun 2026
-
www.cusp.ai www.cusp.ai
-
While nature took billions of years to perfect molecules, we are harnessing AI to unlock trillion-dollar materials breakthroughs in months, not millennia.
cusp.ai 的核心叙事：把亿年进化压缩成数月突破。这句话精准捕捉了 AI for science 的终极承诺——不是辅助科学家，而是替代进化时间本身。「数月而非千年」是一种时间折叠，和 AlphaFold 对蛋白质折叠的影响如出一辙，只是目标换成了材料。
-
-
openai.com openai.com
-
The full process took three months, from the first prompt on March 4th to sharing the OAI-M1-03 results with independent experts on June 4th
三个月从提示词到同行评审——这是非常具体的时间锚点。传统药物化学研究从假设提出到验证发表，通常需要数月到数年。更短的假设-验证循环意味着研究者可以在同样时间内探索更多方向，从而从根本上改变科学发现的经济学。值得追踪的问题是：随着下一代模型和更自动化的工作流，这个三个月会压缩到多短？
Tags
Annotators
URL
-
- Mar 2024
-
Local file Local file
-
可能的威胁：de novo design有害蛋白 solutions： - 自我审查：软件限制 - 公司审查：合成DNA的时候用AI进行审查，但是这个风险转接不知公司是否愿意
-
-
Local file Local file
-
可以和 歪脑的 「意识上传」一起阅读
-
-
Local file Local file
-
用0、1与0、空白的对比能够得出这个结论吗？汗
-
-
Local file Local file
-
第一部份是很好的社科发展综述； 但其实这个经验并没有什么启发性
-
- Jul 2023
-
Local file Local file
-
科研、医疗等多行业的应用有极为广阔的发展空间。数字化智能制造技术使产
这段文字好就好在，能够可垃圾啊快乐圣诞节
-
- Dec 2022
-
www.zhihu.com www.zhihu.com
-
中年程序员（码农）转行金融，30+的程序狗，是否还有机会进入量化投资领域？
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
学习编译原理有什么好的书籍?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解莱斯定理(Rice's Theorem)?
-
-
www.zhihu.com www.zhihu.com
-
为什么我们需要了解编程的历史？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎么评价这份PLT Learning By Doing Guide 攻略？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
写一个操作系统内核有多难？大概的内容、步骤是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
伯克利加州大学计算机专业课程简介？
-
-
www.zhihu.com www.zhihu.com
-
如何看待 Thomas Cormen 所说看完《算法导论》需要的时间？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解算法时间复杂度的表示法，例如 O(n²)、O(n)、O(1)、O(nlogn) 等？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
完成一个Scheme解释器需要哪些知识？实现各功能都有哪些东西需要理解？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
图灵机和冯诺依曼体系结构计算机之间是什么关系？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
图灵机与λ演算是等价的，为什么前者成为了普遍接受的计算机或计算理论的模型？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待王垠在博客发布的《解谜计算机科学（前言）》一文？
-
-
www.zhihu.com www.zhihu.com
-
如何生动形象、切中要点地讲解 OSI 七层模型和两主机传输过程?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何彻底解决「网络延迟」这个问题？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何通俗的解释计算机中“合一(unification)”这个概念 ？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
能否通过语义直接生成解释器？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有人质疑PL研究，比如program slicing的价值。如何解释？
-
-
www.zhihu.com www.zhihu.com
-
Y不动点组合子用在哪里？
Tags
Annotators
URL
-
- Nov 2021
- Mar 2021
-
immersivemath.com immersivemath.com
-
immersive linear algebra by J. Ström, K. Åström, and T. Akenine-Möller v1.1. ISBN: 978-91-637-9354-7
线性代数
-
- Oct 2019
-
-
科学家最近发现，海洋的酸度水平是小行星导致恐龙种群减少的直接结果。
恐龙灭绝
-
- Nov 2018
-
blog.oyanglul.us blog.oyanglul.us
-
那就用Google呗，顺便推荐一个科学上网工具 http://www.xsvps.tech
-
-
blog.oyanglul.us blog.oyanglul.us
-
厉害了我的歌，总计的很好。顺便推荐一个科学上网工具 http://www.xsvps.tech
-