TGViewer
黑科技资源分享 黑科技资源分享 @deeptech123 · 3.54K subscribers
Post #5250 79
大模型现在厉害了,能直接算出物理学可以验证的解析解! GPT-6 Astra只用两天,找到了两组非对称三维等离子体平衡精确解,直接推翻了存在59年的Harold Grad核聚变猜想。
物理学家只给了两轮提示,Astra自主迭代验算,结果经过工具核验完全成立。还有团队靠GPT-5.6-SOC,用纯数学方法构造出反例,论文附带Coq形式化证明。
这代表AI和人类联手攻克基础科学难题的路子,已经可以复制。AI不再只是写代码算数值,而是能直接推导重大猜想的解析解,基础科研的范式真的变了。
More from @deeptech123
  1. Oct 9, 2026感觉 Codex 这一波真的是被 Claude 远远地甩下了。 为什么我有这么直观的感觉呢?因为这两周我100% 的学员答疑,问我的问题都是:“老师,怎么稳定地用 Claude?”…
  2. Oct 9, 2026超导莫比乌斯环
  3. Oct 9, 2026想在自己设备上跑一个个人 agent,又不满足于只拿一个客户端:手机 App、桌面 App、浏览器控制台和中继服务的源码全在这个仓库,可以自己编译、自己开一台服务器跑。 https…
  4. Oct 9, 2026�🛡 告别人工限流/拒审:多模态内容预检工具 ——「过审 guoshen」 🛡 告别人工限流/拒审:多模态内容预检工具 ——「过审 guoshen」 做自媒体或短视频的朋友应该…
  5. Oct 9, 2026在自己电脑上跑一套个人财富管理应用,记录本地保存,AI 顾问通过自己的 OpenRouter key 按需接入。 https://github.com/LosaLosSantos/…
  6. Oct 8, 2026用纯 Rust 重做一套覆盖 Pro Tools 工作流的开源数字音频工作站,并让每个操作都能被命令行或 AI Agent 调用。 https://github.com/story…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →