41554 blogs · 4,450,554 posts Claim your blog

Record · corpus.blog/posts/01a08c64-c3f6-72c3-8b1b-7a87b63fd24b

Human mathematicians are being outcounterexampled

Xena | Mathematicians learning Lean by doing. · published 20 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 xenaproject.wordpress.com Wayback capture

7blogs citing

First cited: 2 May 2026
Most recent: 31 Jul 2026
Rank this month: not ranked
Links from this post: 14
Words captured: 2,263

Links from this post

Link

Host

An OpenAI model has disproved a central conjecture in discrete geometry Read at the source ↗

https://logicalintelligence.com/

logicalintelligence.com

https://www.claymath.org/events/formalizing-class-field-theory/

claymath.org

https://leanprover.zulipchat.com/

leanprover.zulipchat.com

https://github.com/leanprover-community/mathlib4

github.com

Formalizing Fermat workshop Read at the source ↗

xenaproject.wordpress.com

https://www.logosresearch.ai/

logosresearch.ai

https://math.uchicago.edu/~amathew/

math.uchicago.edu

https://ems.press/content/serial-article-files/51994

ems.press

https://github.com/leanprover-community/mathlib4/pull/41748

github.com

https://x.com/__alpoge__/status/2079028340955197566?s=20

x.com

https://en.wikipedia.org/wiki/Jacobian_conjecture

en.wikipedia.org

https://github.com/google-deepmind/formal-conjectures/pull/4474

github.com

https://github.com/google-deepmind/formal-conjectures

github.com