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.
