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.
