标签： Claude

Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs (Timothy Gowers/Gowers’s Weblog)

Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs (Timothy Gowers/Gowers's Weblog)

菲尔兹奖得主 Timothy Gowers 在其博客中观察到一个关键现象——目前大语言模型（LLM）解决的著名数学问题，几乎都是通过构造反例完成的，而非提供严格证明。这个判断为评估 AI 在数学推理中的真实能力提供了一个重要参照。

Novelens.ai

Novelens.ai

Novelens.ai 是一款在 Product Hunt 上亮相的 AI 视觉相关产品，目前公开信息显示它试图将大模型能力带入图像与视频的内容生成流程。它值得关注的点在于：AI 图像生成赛道仍然在快速迭代，新进者正试图从细分场景切入，而非与头部模型正面竞争。

Mbason-ai

Mbason-ai

Mbason-ai 是一个刚在 Product Hunt 上出现的 AI 产品页面，目前公开信息极少。它选择这条渠道首发，意味着团队希望优先触达开发者和早期用户，后续发布内容值得关注。

Tomorrow, I’m really excited to share a new episode with @rileybrown on how he uses Codex to run his entire content business. I particularly loved watching him demo how he creates YouTube thumbnails with AI: 1. He use…

Tomorrow, I’m really excited to share a new episode with @rileybrown on how he uses Codex to run his entire content business. I particularly loved watching him demo how he creates YouTube thumbnails with AI: 1. He use...

Peter Yang预告将发布一期播客，展示内容创业者Riley Brown如何用OpenAI Codex和Paper这款协作画布工具管理整个内容业务——从自动抓取100张优秀YouTube缩略图，到与自己照片混合完成新缩略图设计。这件事值得关注，因为它展示了AI编程工具正在从“写代码”延伸到“跑业务流程”…

I am a fan of Grok Bot but @X is the #1 differentiated data source that it should have access to and it doesn’t seem to work? The connector doesn’t work and I can’t even login to X on the cloud computer. Am I doing so…

I am a fan of Grok Bot but @X is the #1 differentiated data source that it should have access to and it doesn't seem to work? The connector doesn't work and I can't even login to X on the cloud computer. Am I doing so...

一位科技创投圈的Grok Bot用户发现，xAI的AI助手无法正常连接X平台数据源，登录X的云端环境也报错。xAI回应称“会让流程更顺畅”，但这件事暴露了Grok Bot在数据护城河上的关键漏洞。