Axiom Math wants to keep #AI slop out of #mathematics - https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/
0 Boosts
0 Likes
@grob as you know, this is a fast-changing area; but never dull
@glynmoody They're using AI to produce a better verified math library than stealing existing code libraries or previously implementations? In what format? What are the reuse paths? Are they only formally verifying the algorithms, or will they formally verify all translations? e.g., symbolic (TeX, ???) to computer language (C, Python, ???) Do compilers/interpreters have to be vetted?
@lwriemen good questions; doubtless some will be answered in due course
@glynmoody the headline is s bit misleading, isn't it? From what I understand they are replacing "correctness issues" with "usefulness issues" and they call it "taste". Whether this works or warrants not calling it slop remains to be seen. One can easily generate all kinds of correct results which are meaningless and by sheer quantity amount to slop. Interesting approach though.