1
The Ramanujan Challenge for AI
Ramanujan挑战赛给AI设下数学难题关卡，比赛虽已截止，结果公布前的悬念值得关注。
Article URL: https://www.ramanujanmachine.com/ramanujan-challenge/ Comments URL: https://news.ycombinator.com/item?id=48767285 Points: 1 # Comments: 0
2
Formally Solving Answer-Construction Problems in Lean
聚焦Lean形式化证明新挑战：提出解决数学竞赛“答案构造”问题的形式化方法，结合LLM进展，拓展自动推理边界。
arXiv:2505.18492v5 Announce Type: replace Abstract: Mathematical competition problems fall into two broad types: theorem proving, which asks for a pro…