I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
New5
Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
Features
- AI assistant
- Natural language interface
- Workflow automation
Tags
show-hn
AI
ai
ai assistant
automation
User Reviews
No reviews yet. Be the first to share your experience!
Related Tools
View moreLynote
Official website restored from the pre-incident audit; product details pending editorial verification.
LMSYS Chatbot Arena Leaderboard
LMSYS Chatbot Arena is a crowdsourced open platform for LLM evals. Collected over 1,000,000 human pairwise comparisons to rank LLMs with the Bradley-Terry model and display the model ratings in Elo-scale.
智谱清言
清华技术AI对话助手
豆包
字节跳动AI助手