Mathematicians put AI model AlphaProof to the testnature.com3 points·by mauricioc·vor 8 Monaten·1 comments
Olympiad-level formal mathematical reasoning with reinforcement learningnature.com3 points·by mauricioc·vor 8 Monaten·0 comments
mauricioc·vor 12 Monaten·discussIf you have "3 1 5" and you burst 1, you gain 3x1x5 points and the state becomes "3 5", with the two remaining balloons being adjacent to each other.The "1x3x1=1" part for the earlier example is a typo indeed, it should be 3.
mauricioc·vor 12 Monaten·discuss> I wouldn't say there's a ton to connect.What's the point of your rude post? OP already knows this. In fact, they learned it from Tom Lehrer.
mauricioc·letztes Jahr·discusshttps://lore.kernel.org/rust-for-linux/CAHk-=wi=ZmP2=TmHsFSU...Edit: For further context for Linus's reply, there's http://web.archive.org/web/20250206022420/https://social.tre...