➡️
继续阅读
-
论非sofic群的存在性
数学家Andreas Thom质疑OpenAI解决非sofic群问题。他指出OpenAI公告贬低过去十年进展，却关键依赖其2019年论文。他询问ChatG...
-
入蜀记 day473 索书号
雨夜安睡后天气转凉，作者添衣换被，借中医“自发热”理念谈顺应气候、及时调节身体。下午整理读书笔记，傍晚冒雨还书又借书，找到薇依《扎根》等哲学政治类书籍，心满意足。
-
入蜀记 day472 五块石
作者记录在成都的日常：喝茶后失眠，看脱友3衍生综艺，觉得小齐、史妍等素人可爱。出门谈事吃红油抄手，逛五块石旧货市场，淘CCD和旧书，花几元买五角丛书，感慨...
-
入蜀记 day471 白露、快降温、冰糖雪梨
文章以白露节气为引，记录作者的生活随想：梦与友情、仁科与姜思达的对谈、双子座思维差异；白露养生宜食梨、百合、银耳、蜂蜜等润燥之物，作者首次做冰糖雪梨。还谈...
-
微软公关负责人任职近20年后离职
微软首席传播官弗兰克·肖宣布年底离职，结束17年高管生涯。他自1997年起参与微软传播工作近29年，历经多任CEO、云业务转型及LinkedIn、动视暴雪...
-
SAIR竞赛：安德鲁斯–柯蒂斯猜想挑战赛
陶哲轩等人发起安德鲁斯–柯蒂斯猜想挑战赛，由SAIR基金会与加州理工Math-AI团队合办。该猜想称平凡群的平衡表示可经AC变换化为平凡表示，与低维拓扑及...
