42,593 blogs · 5,407,708 posts Claim your blog

Record · corpus.blog/posts/01a087de-9642-72d3-b27f-263411f14381

In Which Math Turns Out to Be the Opposite of a Joke

seylox.github.io · published 28 July 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at seylox.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 10
Words captured: 2,543

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://x.com/__alpoge__/status/2079028340955197566

x.com

The new counterexample to the Jacobian conjecture

sbseminar.wordpress.com

A digestion of the Jacobian conjecture counterexample Read at the source ↗

terrytao.wordpress.com

https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/

scientificamerican.com

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

www-cs-faculty.stanford.edu

https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems

github.com

Human mathematicians are being outcounterexampled Read at the source ↗

xenaproject.wordpress.com

https://techcrunch.com/2025/10/19/openais-embarrassing-math/

techcrunch.com

https://lean-lang.org/

lean-lang.org

https://leanprover-community.github.io/

leanprover-community.github.io