/AI 聊天与助手

I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

新上架5

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

同类工具Lynote LMSYS Chatbot Arena Leaderboard 智谱清言查看同类全部

定价: 见官网

0

浏览

0

收藏

分类: AI 聊天与助手
收录时间: 2026年9月

官方网址: raw.githubusercontent.com

相关标签

show-hn

AI

ai

ai assistant

automation

用户评论

还没有评论，来分享你的使用体验吧

相关工具推荐

Lynote

Lynote 结合 AI 检测、YouTube 转录和笔记提取流程，帮助学习者和创作者检查原创性，并把视频转成可搜索笔记。

LMSYS Chatbot Arena Leaderboard

LMSEARCH Chatbot Arena是LLM evals的众包开放平台。收集了超过1，000，000个人类成对比较，以使用Bradley-Terry模型对LLM进行排名，并以Elo量表显示模型评级。

智谱清言

清华技术AI对话助手

豆包

字节跳动AI助手

相关榜单与专题

AI 工具排行榜