HNHacker News
TopNewBestAskShowJobs

bobzowak

1 karma · joined October 23, 2024

submissionscomments
bobzowak··on A misalignment of AI in mathematics
This is really only a short-term problem where the AI companies only have the internal models that can solve these. In the “long” term, which could honestly mean months, everyone will have access to Bel/C/D-level models capable of solving these anyway.