https://news.ycombinator.com/user?id=AlienMuseHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 01 Nov 2026 14:27:19 +0000In my view, AI currently relies primarily on human-developed tools for verification. Although AI has used some reinforcement learning (RL) algorithms to identify the paths humans have taken at each level, these paths are essentially still based on human mathematical tools and require confirmation by human experts. We need a more revolutionary framework to provide AI for mathematics with new methods and verification pathways.

]]>Sun, 01 Nov 2026 03:42:42 +0000https://news.ycombinator.com/item?id=50322506AlienMusehttps://news.ycombinator.com/item?id=50322506https://news.ycombinator.com/item?id=50322506