LINKED LIST [txt mode] ▸ Mathematicians welcome computer-assis...
home explore | log in

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

nature.com · first added by @hn_wayback · 2026-10-06 · 1 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)


─── Discussions ────────────────────────────────────────

* Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
344 pts · 136 comments · node