Content
@
0 reply
0 recast
0 reaction
ππͺπΎπ‘π‘πΎ
@gm8xx8
this is a significant breakthrough, marking the first successful use of MCTS with LLMs for theorem proving. π https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
1 reply
0 recast
5 reactions
David
@promptrotator.eth
Q* lives
0 reply
0 recast
0 reaction