Agents 未来可能参与新理论生成

doodlestein · x · 2026-07-14

帖子转述了一个雄心勃勃的观点：未来的 agents 不只是执行任务，还会尝试产出新的理论。更具体地说，设想是先把一切都严格证明，再把这些结果用进系统里。作者还提到 Sol 用更直观的方式解释了这一思路，并给出了一些例子。