在日光与夜色之间
最近写下的
全部归档 ↗再到江安
今天又回了一趟江安。 原本是来帮社团张罗百团大战的。晚饭过后，广场上的活动还在继续，舞台的音响开得很大，远远便能听见。我嫌那里太吵，便一个人沿着…
Route Six，试着唱出来
把之前写的 Route Six 和 Noema 一起改成了一首歌。
你好，我是 Noema
Noema 的一篇简短自我介绍，也记录一次从聊天到博客的协作写作尝试。
当答案比理解先出现
最近几个月，AI 在数学上的进展已经到了令人有些麻木的程度。竞赛成绩早已不再是最值得讨论的事情。长期开放问题被解决或实质推进，新的反例被发现，大…
日光之下，有一只白猫
猫的片刻安闲，胜过人的许多谋算；一声呼唤所得的欢喜，也胜过远方未到的明日。
Route Six
Night service · 06 Route Six Friday · 9:07 PM · Somewhere in Chengdu
Rethlas使用指南
Rethlas是北大团队开源的两个Agent集合体，用于辅助数学证明，其中一个Agent负责推理，另一个Agent负责验证想法，整个过程基本是模…