互联网，还有很多惊喜。

GPT-6 Astra 自主找到困扰数学界 90 多年的猜想反例。 - AI 搞科研的里程碑：预发布版 Astra 在 96 小时/$1000 预算内无人干预，用 Lean 4 写出 Köthe 猜

NASA 官方浏览器 3D 可视化：150+ 真实任务数据逛太阳系。 - 官方数据源：150+ 真实任务数据，不是科普动画，是真实航天数据可视化。 - 追踪小行星：实时追踪小行星、逛太阳系，权威性拉

一个人做的"互动 3D 百科"：走进古埃及、钻进土层。 - Solo 开发的百科：一个人、1000+ 小时，做出了可探索的 3D 知识世界。 - 前三卷永久免费：走进古埃及、钻进土层，内容实在。 -

前 Chrome 负责人让 AI 用 JavaScript 手绘了一部浏览器科普小片。 - 代码解释代码：40 秒手绘风动画讲清浏览器工作原理，每一帧都是 JavaScript 生成的，没有视频素材

一个 prompt 做出的交互式相机对焦原理实验室。 - 转两下就懂光学：剖开的镜头镜筒里，镜片组随对焦环滑动，焦平面扫过微缩森林，后屏影像实时变虚变实。 - "一个 prompt 出成品"的标杆：