bluesky — andrewkchan.bsky.social — 24 Sep 2026
Ok, we agree there needs to be regulation.
#ai-assisted-mathematics #formalization #llm-capabilities
Ok, we agree there needs to be regulation.
We disagree on the capabilities. It's not true that OpenAI simply "yoinked" the results of a mathematician. From Buckminster's own statement, the majority of the work he was doing was to make the verified proof by another LLM suitable for publication.