How credible are frontier labs' claims of solving Navier–Stokes and Fermat's Last Theorem?
Witty-Ad-8579 · reddit · 2026-11-14
The poster asks how much people trust frontier labs' claims about solving hard problems like Navier–Stokes and Fermat's Last Theorem. Admitting they can't judge the mathematics themselves, the author leans toward the mathematicians who find these AI-generated proofs too long or incomprehensible, and opens the floor on how credible such claims really are.
More from Models
- Claude iOS hit by Sign in with Apple outage affecting new signups — ClaudeAI-mod-bot · 2026-11-14
- Independent scan: 185 of 265 open LLMs can infer their training GPU family — willdepue · 2026-11-14
- Users pile on OpenAI: buggy desktop app and DevDay flop push them to Claude — koltregaskes · 2026-11-14
- Heavy AI users stuck between Pro and Ultra tiers as daily usage lands mid-tier — gaganghotra_ · 2026-11-14
- Google Search reportedly rolling out Gemini 4 Hydrogen globally with AI-first results — feblet · 2026-11-14
- Dev spent up to $2,000/month on AI Pokémon fan game — Claude now refuses to help — tekbog · 2026-11-14