
INSAIT Institute
@INSAITinstitute
Followers
2K
Following
90
Media
174
Statuses
301
INSAIT’s mission is to transform the world through excellence in science, research, and education.
Sofia, Bulgaria
Joined December 2021
RT @j_dekoninck: We just released the evaluation of LLMs on the 2025 IMO on MathArena! Gemini scores best, but is still unlikely to achieve….
0
43
0
RT @mbalunovic: We are launching Project Euler on MathArena to track performance of LLMs on challenging new problems at the intersection of….
0
12
0
RT @j_dekoninck: As models are getting close to saturating our main automated benchmarks, we are currently looking towards more challenging….
0
2
0
RT @j_dekoninck: Grok-4 takes first place on the MathArena Leaderboard! Convincing scores across the board, with an especially impressive p….
0
3
0
RT @j_dekoninck: Thrilled to share a major step forward for AI for mathematical proof generation! . We are releasing the Open Proof Corpus:….
0
21
0
RT @RoxanaMinzatu: 🇧🇬🇪🇺 I visited today @INSAITinstitute , Bulgaria’s AI & innovation powerhouse – alongside Deputy Prime Minister @tomisla….
0
3
0