TangSan (@LabsCurve) header
TangSan (@LabsCurve) profile picture

Think Like an Artist: AI,AI for Science

Joined October 2021
Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)Photo by TangSan (@LabsCurve)
如果有一天,所有快乐都能被即时供应,所有孤独都能被算法抚慰,所有等待都能被内容填满——那么,人还会不会需要一个不被安排的下午?
1
“流量越来越贵,注意力竟然被短剧搞的越来越廉价”?
6
“对于我们这种原始生物来说,生命似乎只有一个目的:赢得时间。而随着时间的推移,这似乎也是我们体内每个细胞的唯一真实目的……当它们死亡时,会把关键的信息和知识传递给下一个细胞,下一个再传给下一个……知识就这样穿越时间被传递下去。”‌
7
“You know... If you think about the very nature of life-I mean, on the very beginning, the development of the first cell divided into two cells-the sole purpose of life has been to pass on what was learned. There was no higher purpose. So if you're asking me what to do with all this knowledge you're accumulating, I say... Pass it on.”‌
6
磨瓦岂能成镜----需在根本上下功夫
33
We'll be spending a lot more time trying to understand the outputs of language models. A few thoughts, tips & tricks: Writing. Something I've had success with: Ask your LLM to explain something in ASD-STE100, it's a controlled language specification originally developed for aerospace maintenance documentation. LLMs well-versed in this language and it comes with heavy constraints on clean writing style that I often find a lot more readable. Sometimes I've tried to soften it a bit e.g. ask for "80% of the way to ASD-STE100" because the spec is quite stringent. But even better: Diagrams / images. Instead of writing, ask your LLM to create a diagram. These can be a lot easier to process, parse, and understand. But even better: Web pages. Ask for output "in HTML" to get a beautiful, interactive webpage. LLMs are getting really good at frontend and can create beautiful experiences, animations, etc. But even better: Explainer videos. The output format I am most bullish on is fully custom / bespoke explainer videos generated on any arbitrary topic. Experiment with things like "Create a 3b1b style video explainer on X. Use my ElevenLabs API key for audio narration". (you'd need an API key for the latter or you can ask your LLM to find you decent free alternatives that use your local compute). This is actually starting to work! In summary: - As LLMs get better, they will do more and more of the legwork autonomously, and a lot more of our work will rise up the abstractions into oversight and understanding. - Luckily, LLMs can help here too because as intelligence and code are increasingly abundant, you can ask for large, custom, discardable software artifacts (e.g. web apps, video explainers) that would have never made sense to create before. Push the boundaries here and you'll be surprised.
1,705
6,744
1,567
56,637
8,180,275
やばい、OpenAI Dotsが 制作チームみたいに動いてる。 Higgsfieldの動画では 3体のDotsがWeb制作を相談。 https://teapaw.org/t.co/07gkvP6zJS 設計、コード、3D素材まで 合意してから進める流れ。 ・1人の指示待ちを減らせる ・制作レビューが会話で残る ・MCP連携で素材作りも近い 詳細はリプ欄👇🧵
21
163
23
1,495
180,698
TangSan retweeted
丢给 Opus 5.5 一句话,它花了几个小时,烧掉 3 亿+ token,直接生成了一个视频。强得可怕 再想象一下:未来生成速度再快几个数量级,脑机接口一接,VR 一戴,脑海里的世界就能在眼前实时渲染 那时就不是「看视频」了,而是直接走进自己的想象
78
92
23
605
101,273
科学史上最伟大的飞跃,往往始于对美丽幻觉的果断摒弃,忠于对深层客观定律的冷静揭示。
41
“Study hard what interests you the most in the most undisciplined, irreverent, and original manner possible.” — Richard Feynman
133
1,817
142
11,651
1,257,593
𝐍𝐢𝐤𝐨𝐥𝐚 𝐓𝐞𝐬𝐥𝐚 𝐨𝐧 𝐭𝐡𝐞 𝐢𝐦𝐩𝐨𝐫𝐭𝐚𝐧𝐜𝐞 𝐨𝐟 𝐬𝐨𝐥𝐢𝐭𝐮𝐝𝐞 𝐚𝐧𝐝 𝐬𝐞𝐜𝐥𝐮𝐬𝐢𝐨𝐧 💭 The mind is sharper and keener in seclusion and uninterrupted solitude. No big laboratory is needed in which to think. Originality thrives in seclusion free of outside influences beating upon us to cripple the creative mind. Be alone, that is the secret of invention; be alone, that is when ideas are born. — as mentioned in ‘An Inventor's Seasoned Ideas’ (1934) 📷 Nikola Tesla Archives
63
231
22
1,122
42,284
"其分也,成也;其成也,毁也。凡物无成与毁,复通为一。"
34
OpenAI says its internal model solved the Navier–Stokes problem OpenAI said it began training the model on August 28. After hearing rumors on September 1 that someone might be close to a major mathematical result, it shifted its focus to the Millennium Prize Problems. Around 10,000 agents worked on Navier–Stokes in groups, testing different approaches. They could communicate with each other, run code, use cached internet material, and try both proof and disproof ideas. The system first produced a related result for unforced Euler, which helped guide the Navier–Stokes work. Codex then brought together useful insights from the different groups. OpenAI said the system reached its Navier–Stokes result after about 88 hours. Formalizing and checking the proof in Lean took another 17 hours. The effort involved 2.7 million messages and roughly 130 billion output tokens. This was not a frontier model trained from scratch in four days. It was continued training combined with massive test-time search, coordination, tool use, and formal verification.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
5
8
57
5,597
人类现有的社会法律制度,全部建立在碳基生物的物理限制之上(人类会疲劳、会死亡、需要通过自然语言沟通、承受物理监禁)。
1
35
人能常清静,天地悉皆归//////
1
24
心生于物,死于物。机在目---
1
22
从费马大定理验证到vibe science:ai的新能力如何重塑科研 Anthropic 昨天宣布使用 Claude 智能体在 11 天内完成了费马大定理(Fermat’s Last Theorem)的端到端计算机形式化验证,全部代码均在 Lean 证明助手 中通过编译。 这项突破的实质在于攻破了超长链条、高难度现代数理工程的自动化形式化壁垒,标志着科学研究正加速从传统的“假说与叙事科学”迈向“可计算、可自动验证的确定性科学”。 将人类自然语言写就的复杂数学成果转化为严谨的机器证明语言,曾被视作需要顶尖学者耗时数年的手工作坊式工程。 而Claude 在 11 天内生成了约 1300 万行 Lean 代码,完成了包含 29,500 个中间定理 的复杂推导。所有逻辑仅基于 Lean 的三条标准数学公理,并已在 GitHub 完全开源。 针对多智能体协作初期出现的上下文丢失与废弃代码问题,团队接入了哥伦比亚大学等开发的 Prove2Me 架构。通过动态维护定理依赖拓扑图(DAG)、解耦定理声明与推导细节、建立自然语言语义索引,数十个 AI 智能体得以在大规模并行中避免任务漂移。 随后进行的小型实验表明,仅需 3 个个人订阅账号,智能体便在 3 天内完成了维诺格拉多夫三素数定理的形式化。高难度形式化验证正从极少数头部算力实验室外溢为普通学者触手可及的基础工具。 这将为基础科学研究带来巨大的推动! 大语言模型在前沿科学探索中长期面临致命瓶颈:缺乏客观环境反馈,极易产生逻辑自洽却根本错误的“幻觉”。自动形式化的成熟为此补齐了最关键的逻辑闭环。 构建理论科学的“零容错评判器”:形式化证明系统充当了数理逻辑的物理引擎。大模型得以在严格公理体系下进行无幻觉的“自我博弈”(Self-play)与强化学习,自主推演新定理、检索反例并试错进化。 打破学科割裂,重组知识拓扑:分散在数以千万计论文中的非结构化知识,正被重构为全球可检索、跨学科互通的定理拓扑网络。计算机能够敏锐识别代数拓扑、量子场论与信息论之间的底层同构,加速催生跨界突破。 这种机器约束下的确定性搜索能力,正在重塑前沿科学理论与工业研发的核心链条,并加速从科研到应用的落地速度。 基础物理与数学的自洽性推演:量子场论、超弦理论与高维引力涉及庞大的张量运算与反常抵消。自动形式化工具能将物理假设转化为公理,快速排查复杂统一理论的隐蔽逻辑漏洞。 芯片 EDA 的全栈形式化等价验证:传统半导体验证占据 60% 以上研发周期且仍无法穷尽隐蔽死锁。大规模自动形式化使 2 纳米及以下微架构、乱序执行核与缓存一致性协议在流片前实现“数学级全状态等价证明”。 生物医药的物理动力学严密约束:在蛋白质设计与药物分子生成中,将热力学定律与反应动力学方程转化为形式化前置规范,能在生成初期用机器证明直接剔除违背物理实际的候选分子。 当自动形式化将繁琐的引理推导、边界检验与繁重验证完全托付给机器,科研人员的角色正迎来本质重构,science正在向coding一样,迎来vibe sicience时刻!
19
5
3
27
18,828
君以此兴,必以此亡。
2
55
无论多么复杂的代码、多么宏大的理论,都只是人类探索世界的一小部分工具,它们不应该、也不可能承担起掌控一切命运的重任。
25
TangSan retweeted
The most important skills for using AI coding agents effectively. Presenting the AI Engineering Skills Map for using coding agents.
321
1,155
118
7,348
766,304