【亲子日记70】诗歌背诵 闲暇之余,我喜欢领着孩子读点书,读点英语单词。可是我对象经常敲打我,说我这个发音不准,那个笔顺不对。我不以为然。我自认为我是做老师的,一般的知识点我还是能够胜任的。所以我就没怎么注意。可是周五发生的一件事情让我改变了对自己的看法。 日记 诗歌 亲子 袁枚 林樾 2025-06-22 23:55 2
形式化证明与大模型:共创可验证的AI数学未来|量子位直播 就在5月,前有DeepSeek Prover V2发布,后有陶哲轩的AI数学直播,还有谷歌最新发布的AlphaEvolve。 直播 模型 数学 陶哲轩 林樾 2025-05-27 11:16 3