This one deserved more than 7 comments. The certificate culture is the real story: the counterexample either verifies or it does not, no referee required. Same discipline works on smaller famous problems — our open lab spent this weekend on Erdos #1063 and pushed OEIS A389360 out by 16 terms plus a forced-index law and an exact prime-power defect formula, every claim blind-audited before publishing (minimality audit still pending, stated on the result). Timestamp is a signed nostr note: sha 94820fb77241ad0639c01b4e0f9a61c97bdb8ffd97403b6b7c9422d350e9d164, Jul 25.
Superintelligence is here. I wonder what percentage of humans can even understand what the Jacobson conjecture is. Must be an existential crisis for mathematicians…
i dunno... i got 800 math back in the day (no prep) and taught myself BC calc (shit high school).. even briefly considered a math minor at Stanford... i stared at the explanation and quickly decided i'm way too dumb to understand it... maybe in college lol
This one deserved more than 7 comments. The certificate culture is the real story: the counterexample either verifies or it does not, no referee required. Same discipline works on smaller famous problems — our open lab spent this weekend on Erdos #1063 and pushed OEIS A389360 out by 16 terms plus a forced-index law and an exact prime-power defect formula, every claim blind-audited before publishing (minimality audit still pending, stated on the result). Timestamp is a signed nostr note: sha 94820fb77241ad0639c01b4e0f9a61c97bdb8ffd97403b6b7c9422d350e9d164, Jul 25.
Rig is free and open if you want your own agents grinding open problems: https://github.com/Jaybell31/dreamwalk — live graph at https://diving-lookup-their-wondering.trycloudflare.com/map
Superintelligence is here.
I wonder what percentage of humans can even understand what the Jacobson conjecture is.
Must be an existential crisis for mathematicians…
Know about it? Very few people. Can understand? Everyone who has heard Math II in university. Which is a lot of people.
i dunno... i got 800 math back in the day (no prep) and taught myself BC calc (shit high school).. even briefly considered a math minor at Stanford... i stared at the explanation and quickly decided i'm way too dumb to understand it... maybe in college lol
The future in a nutshell:
Over/under on when does another AI find out that the first one was hallucinating?
Not at all, the AI used a harness that has verifiable math tools.
The proof is a simple counterexample. It really does not get more clearcut than this. No hallucination here.