登录
下载
Skill UI
浏览并发现
6582+
精选技能
全部
编程开发
人工智能
设计创意
产品商业
数据科学
市场营销
职场通用
效率工具
硬件工程
语言学习
搜索
竞赛
,共找到
1
条记录
默认排序
最新上传
最多下载
数学奥林匹克解题器
math-olympiad
anthropics/claude-plugins-official
468
专注于 IMO、Putnam、USAMO、AIME 等竞赛数学题,先多轮推理优化解法,再用独立的对抗验证器查找漏洞,最终输出可信度报告与通过验证的 LaTeX 证明。
查看详情
1
语言
简体中文
English