备忘录
华为云服务器 120.46.81.134 免费 ai https://chatthing.ai/
工具箱 https://lkssite.vip/?utm_source=siitake.cn
网站 https://youquhome.com
code https://app…
微软视频编辑工具 Clipchamp 迎来新功能，包含AI自动生成视频
IT 之家 12 月 12 日消息，微软于 2021 年收购了 Clipchamp，这是一款易于使用的基于 Web 的视频编辑工具。随后，Clipchamp 被纳入 Microsoft 365 个人版和家庭版订阅计划中。最近，微软将 Clipchamp 扩展到了…
ydns 免费动态域名解析服务并提供免费二级域名
ydns 免费动态 DNS，让您的家庭网络可从任何地方访问。自定义域，在 YDNS 上托管域的 DNS 记录。简单易用、DNS 托管是完全免费的。
无限个域名，主机的动态 DNS，可用于将您的家庭网络置于永久主机名上（如：freeaday.ydns.eu)
支持添加您自己的域名…
数学界巨震！陶哲轩成功用AI工具破解数学猜想
要点: 陶哲轩成功利用 AI 工具形式化多项式 Freiman-Ruzsa 猜想的证明，标志着数学研究中人工智能的广泛应用，引发数学界的震动。
他强调数学研究者应学会正确使用 AI 工具，认为形式化证明的主流化有望创造出既人类可读又机器可解的证明，将数学变成一种编程。
陶哲轩团队…
videa 匈牙利免费视频平台
videa匈牙利免费视频平台，可以上传视频在线播放，embed外链。单个最大文件大小：2048MB
videa视频平台注册简单，只需邮箱便可注册，无需手机号、信用卡。
videa视频平台网址：https://videa.hu/
OpenAI在中国申请GPT-6、GPT-7商标
IT 之家 12 月 3 日消息，近日，欧爱运营有限责任公司（OPENAI OPCO，LLC）申请多枚 “GPT-6”“GPT-7” 商标，国际分类为科学仪器、网站服务，当前商标状态均为等待实质审查。 © 由 IT 之家 提供
目前，ChatGPT 4.0 是 OpenAI…
电脑版Office 2013-2021 C2R Install v7.7.7.0 汉化版
Office 2013-2021 C2R Install 是由俄罗斯人 Ratiborus 制作的 Microsoft Office 下载、安装、激活的自定义部署工具。它能够在线下载安装 Office 2013 到 2021 的各个版本，离线安装部署 Office 镜像…
这里是神气科技工作室的博客
专门记录笔记及日常😘
连续运行6年从未重启，开发者展示已有10年历史的初代树莓派 1B
IT 之家 12 月 1 日消息，制造商兼开发人员 KerazyPete 最近在 Reddit 上分享了一篇帖子，展示了他的树莓派 1B（0002 版本），这款树莓派已经有 10 年历史，并且已经连续不间断地运行了 6.4 年。 连续运行 6 年从未重启，开发者展示已有 10…