| 点击/回复 | 标题 | 最后回复 | 发表时间/侃吧 |
| 28/3 | minimax h3发布，视频生成价格远低于seedance2.0 | 8-5 | 8-4 |
| 38/9 |
kimi k3发布，分数和gpt5.6相当
但是价格也是相当昂贵，达到了输入20元/输出100元。编程命中缓存比较便宜。 |
8-1 | 7-17 |
| 39/0 |
大脑参数量测试
测试你的大脑相当于多大参数量的大模型 网址：https://w99.site/testyourbrain/index.html 我在 IKP 大脑参数测试得了 22/25（88.0%），大... |
7-17 | 7-17 |
| 45/1 |
正在做<=100阶群的分类的形式化
93个阶数已经完成，大部分都只有几个到十几个同构类， 尚未完成的有: 32阶群，有51个同构类 48阶群，有52个同构类 64阶群，有267个同构类 72阶群，有50... |
7-6 | 7-6 |
| 109/2 |
给主人留下些什么吧
如题，gpt的bug  |
7-2 | 7-1 |
| 123/0 |
已经更新到第二大关，目前有两大关总共12小关
https://lixiang90.github.io/logic-game/ 第一大关（前10关）是单目标，第二大关是多个浮空岛屿，一个主目标和多个辅助目标，并且允许使用已证明的定理去证明其他... |
5-18 | 5-18 |
| 143/4 |
今天尝试了一下对之前训练的模型进行指令微调（SFT），目前它可以做一些日式轻小说创作
指令：写一篇轻小说，讲述少女组建乐队的故事 序章：最后的希望 清晨的草原上，我趴下，看着夕阳把自己染成血红色，手心冒汗的林中 清晨的草地上，我站在一片广袤的草地，呼吸均匀，像是在寻找什么... |
6-5 | 5-17 |
| 310/7 |
某大学生在闲鱼出售学习机会
 |
5-12 | 4-20 |
| 126/1 |
荒废了很久，重新开始学习，现在AI也能写lean4了
25000行代码的素数定理证明，20万行代码的球堆积问题证明，规模越来越大 |
4-20 | 4-20 |
| 864/11 |
图像生成模型训练实验
首先训练了VAE作为图像压缩模型，然后训练DiT作为图像生成模型 目前还只训练了imagenet，一百多万张图，1000类，类别标签生图，后续考虑加上文本生图 |
3-13 | 2-24 |
| 411/1 |
欢迎体验逻辑游戏
https://lixiang90.github.io/logic-game/ |
2-4 | 2-4 |
| 397/1 |
围观
这次我没报名，作为旁观者看看也不错 |
2-2 | 2-2 |
| 830/2 |
看动漫这个行为是否正在让更多人深陷贫困？
在日本，做汉堡比做动画师赚得多，麦当劳一年2万美元，动画师一年1万到1.5万美元。根据《日经商务周刊》消息，业内人士称：日本动画师制作单价为平均每张250日元（约12元），这一价格已经十多年没有变化。... |
9-16 | 8-31 |
| 1016/4 | Happy Anniversary! | 8-25 | 8-24 |
| 736/2 | 凤凰院凶真今天发送Dmail | 8-21 | 8-21 |
| 838/5 |
神吧留名
回首看，这个市场还真是21世纪史的转折点 |
3-8 | 7-30 |
| 837/3 |
我意识到我的操作没有考虑到别人的感受，给别人以不公平感
对不起@于氏侦探 |
7-30 | 7-29 |
| 2466/12 |
deepseek-R1写小说测试
首先生成了一个大纲，然后逐段生成内容 第1段 - 要点：引入男女主角的基本设定与校园环境。描述两人因选修同一门冷门校史课产生交集，通过教授提及学校30年前一名学生离奇坠楼事件埋下伏笔。突出男主角... |
4-21 | 2-19 |
| 802/1 | 元宵节/情人节快乐 | 2-14 | 2-14 |
| 927/1 |
定下计划
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化 |
2-14 | 2-11 |
| 906/1 | 新年快到了 | 1-27 | 1-26 |
| 988/3 |
如何看待王星在泰国被绑架的事件
我心里还是很难受的，因为我也有一些长期失联，不知道在哪里的朋友 |
1-11 | 1-9 |
| 1091/1 |
2025新年快乐
找到账号了，回侃吧看看 |
1-1 | 1-1 |
| 924/1 |
黎巴嫩发生传呼机、对讲机等设备爆炸事件，
已造成20人死亡，4000人受伤 第一波是当地时间17日下午，涉及某台湾品牌的寻呼机，据分析被以色列摩萨德干预了生产过程，在电池旁植入能接收信号的爆炸物 第二波是当地时间18日下午，涉及日... |
9-30 | 9-19 |
| 1225/3 |
山西一高中生晚 11 点后上厕所被定重大违纪
新京报消息，9月18日，山西怀仁市云东中学德育处工作人员告诉新京报记者，9月10日，该校一名学生因在当晚11点10分左右上厕所，被记严重警告处分一次，按“重大违纪”扣除班级本月德育考核成绩5分... |
9-19 | 9-19 |
| 1927/9 |
Hello everyone
Happy to join the English club |
9-3 | 8-26 |
| 1497/8 |
自己练手训练的大模型在185700步生成的效果
仅仅100M的参数量（GPT-4的万分之一左右），目前还是base模型，没有包含chat功能。数据里包含轻小说，模型是学会了语言风格，当然仔细一看就是胡言乱语了。测试时使用"我喜欢你，"作为开... |
8-19 | 8-17 |
| 924/2 | 搬砖4次终于升级到筑楼工 | 8-8 | 8-8 |
| 753/0 |
不能吃太多椰子，否则会因为腹泻而脱水
原来是因为这个才死亡的，注意这一点改吃鱼肉和鸟肉以后就好多了，生存7天的成就达成 |
7-29 | 7-29 |
| 1107/7 |
读书记录
[其他] 这段时间读了一些书，但感觉自己注意力过于分散，以后可能会集中在某些方面，其他书就随便翻翻，本贴随时记录自己读到的东西 |
9-19 | 7-27 |
等级：大魔导士 十七级
经验：43644点 金币：7650枚 性别：男 血型： 注册时间：2024-3-15 02:23 最后访问时间：2026-8-4 18:38 最后发帖时间：2026-8-4 16:38 个人简介： |
帖子 |