AI at IMO 2025: a round-up
Setting the scene The 2025 International Mathematics Olympiad has come and gone. Reminder: this is an exam for high-school kids across the world (each country typically sends six kids), comprising of…
Read the full articleYou might also wanna read
How to Find the Optimal Coding Agent Interface
Towards Data Science·1d ago
SWE-1.7: A New Frontier AI Model Achieves High Performance at Reduced Cost
cognition.com·2d ago
DSpark: A Speculative Decoding Framework Using Semi-Autoregressive Generation and Confidence-Scheduled Verification for LLM Inference Acceleration
arxiv.org·3d ago
NVIDIA Releases Nemotron-Labs-3-Puzzle-75B-A9B: A Compressed LLM for Efficient Inference
huggingface.co·3d ago
Ilya Sutskever's 30 Papers: The Reading List That Covers 90% of What Matters
developersdigest.tech·4d ago
How to Run End-to-End Tests with Claude Code
Towards Data Science·4d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.