4h ago

Dimitris Papailiopoulos of Microsoft Research AI Frontiers limits solver challenge models to 10 million trainable weights

The update bans access to the evaluation test set

0
Original post

@xeophon I will relax them to make it more interesting 1) No more than 10M trainable weights in the solver 2) Can't peak into the test set

6:55 AM · May 30, 2026 View on X

@xeophon also 3) can't use frozen models (i thought about a variant of that but it's not very symbolic) where you take a frozen model, and finetune linear probes at the last layer. But that's a different project altogether :p

Dimitris PapailiopoulosDimitris Papailiopoulos@DimitrisPapail

@xeophon I will relax them to make it more interesting 1) No more than 10M trainable weights in the solver 2) Can't peak into the test set

1:55 PM · May 30, 2026 · 162 Views
2:01 PM · May 30, 2026 · 157 Views

@alexjc 1) No more than 10M trainable weights in the solver 2) Can't use frozen models/api calls 3) Can't peak into the test set

Alex J. Champandard 🌱Alex J. Champandard 🌱@alexjc

@DimitrisPapail If you're willing to include things like units as hard-coded hints you can get more than 15%... what were your rules?

2:18 PM · May 30, 2026 · 439 Views
2:19 PM · May 30, 2026 · 254 Views

@alexjc i think above 20% is extremely hard!

Alex J. Champandard 🌱Alex J. Champandard 🌱@alexjc

@DimitrisPapail OK, that's not what I imagined as pure Python program! With trainable weights it's a good approach, but with those rules and a narrow focus I think 50-60% (or more) should be the target? Maybe I should dig out my prototypes to try to add more parameters...

2:52 PM · May 30, 2026 · 55 Views
2:59 PM · May 30, 2026 · 36 Views

@DimitrisPapail OK, that's not what I imagined as pure Python program! With trainable weights it's a good approach, but with those rules and a narrow focus I think 50-60% (or more) should be the target? Maybe I should dig out my prototypes to try to add more parameters...

Dimitris PapailiopoulosDimitris Papailiopoulos@DimitrisPapail

@alexjc 1) No more than 10M trainable weights in the solver 2) Can't use frozen models/api calls 3) Can't peak into the test set

2:19 PM · May 30, 2026 · 254 Views
2:52 PM · May 30, 2026 · 55 Views
Dimitris Papailiopoulos of Microsoft Research AI Frontiers limits solver challenge models to 10 million trainable weights · Digg