moyix quips AI math has gotten dire: models now solve conjectures even he's heard of

moyix · x · 2026-10-07

Security researcher moyix quipped that AI's encroachment into mathematics has reached the point where models are resolving conjectures even he has heard of — "which means the situation must be quite dire." A joke reflecting the industry's consensus that AI math capability is advancing fast.

Original post →

More from Fun

Fun channel →