小红花·文摘
首页
广场
排行榜
🏆
直播
FAQ
我更新了一个自动验证工具，使其成为灵活的证明助手，支持符号代数和交互式证明。用户可以输入高层策略，助手会执行计算，并支持渐近估计，计划进一步增强功能。
一个验证估计的工具，II：灵活的证明助手
What's new by TerryTao
·
2025-05-10T00:41:34Z
<<
<
1
(current)
>
>>
👤 个人中心
在公众号发送验证码完成验证
去登录
登录验证
在本设备完成一次验证即可继续使用
×
完成下面两步后，将自动完成登录并继续当前操作。
1
关注公众号
小红花技术领袖
如果当前 App 无法识别二维码，请在
微信
搜索并关注该公众号
2
发送验证码
在公众号对话中发送下面 4 位验证码
