Thinking Machines
@thinkymachines
Thinking, beeping, and booping.
@tinkerapi
가입 February 2025
1 팔로잉 중 180.9K 팬
Congratulations to @axiommathai on their achievement!
AxiomProver, a mathematics model fine-tuned with Tinker, got top scores on the Putnam Math Competition.
