Patrick C Toulme
@PatrickToulme
gemini & TPUs @google. Formerly worked on Meta MTIA and AWS Trainium. Opinions are my own. All blogs shared are personal work.
加入 December 2025
411 正在關注 15.5K 粉絲
Math is verifiable. That is why AI is solving math. Reasoning + search of the problem space.
An agent in a math harness can search the problem space.
another confirmation: OpenAI is close to solving their second Millennium Prize Problem, the Hodge Conjecture.
this time, they're being very careful with the math community to avoid another PR bomb. so it may take longer to announce the solution.
顯示更多
