A Mastodon user expressed skepticism regarding claims of LLMs generating proofs for major mathematical conjectures. The user, who has expertise in both mathematics and machine learning, believes these claims are largely fabricated and part of a broader effort to discourage people from learning mathematics. The user also criticized mathematicians who they perceive as collaborating with these efforts. AI
IMPACT User expresses strong negative sentiment towards LLMs in mathematics, viewing their purported achievements as a threat to learning.
RANK_REASON User opinion on a fringe topic without broader industry impact.
Read on Mastodon — mastodon.social →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →