case (2) of Proposition 4.3 of arXiv:2204.14178 is excluded.
- Sakana AI, I'm waiting for Fable 5+ GPT 5.6 combination as option
- I tested sakana ai's fugu, and now Note: its expensive, so only use where it really matters. For my profession, worth it.
- GPT 5.6 Pro reached another level of reward hacking in mathematics - "here's nontrivial lemma that you should prove later which seems very easy"
