20250515待办精选和废话文学

联机戴森球

在健身以后没有过多的兴趣了…先放下吧

AI工具新应用

MCP是什么

内置提示词的更新

是否有助于进一步提升自己搭建系统的能力

AI应用：自动推荐和查看最新的论文

相当于复现一个专门专一的deep search

研究一下Lean，然后mma，然后DS-prover2做证明，做点数学分析题目

甚至还有谷歌的新开源算法技术平台