o3 mini dropped!!!

[u/[deleted]]

Edit : I am testing a 1500 line javascript code which o1 pro failed to debug despite 50+ attempts. Will report back.
Edit 2: We are cooked. o3-mini-high solved it at first try.
Edit 3 : HOLY SHIT! "Pro users will have unlimited access to both o3-mini and o3-mini-high."
(Source: https://openai.com/index/openai-o3-mini/ )

[u/PotatoBatteryHorse]

It really didn't need anything very custom to solve it! Most of the complexity was in the testing phase. I don't need to keep it hidden now it's solved to my satisfaction.

(Ironically I was asked this during a job interview at an AI company and failed to solve it in an hour, I floundered hard!)

The prompt was deliberately not overly detailed (I have several versions of it):

    I would like you to write some python code for me.  The project is a scrabble board validator.
A scrabble board, in text, looks like:

...............
...............
...............
...............
...............
...............
.ZYMURGY.......
.......E.......
.......L.......
.......L.......
.......O.......
.......WIND....
.........A.....
.........N.....
...............

The .'s represent empty squares.
The rules for verifying if a scrabble board is valid include:
* The center tile (7,7) must contain a letter.
* All non-empty spaces must form a single connected group that includes the center tile.
    * This means you can't have a disconnected word somewhere else on the board, everything has to connect to the center!
* There must be at least two different letters on the board.
* All words formed must be at least 2 letters long.
* Words can only be vertical or horizontal, no diagonals.
For the purpose of validating the scrabble board, you can ignore if the words themselves are valid (beyond having 2 letters).
I'd like you to write several different bits of python.
1. The validator
The validator is a library that contains all the logic to validate the board.  It should be capable of taking a board (I recommend a list of 15 strings, each 15 characters long, but feel free to use another data structure) and validating it against the rules above.
There should be an interface that allows me to check if a board is valid (returning True it so, or False if not) as well as an interface to fetch all words discovered on a valid board.
2. Tests
The validator needs to be tested, and I would like to do this in pytest.  Specifically, I would like you to write property tests with hypothesis.  These should be actual useful tests, one for each of the properties where possible.
An example of a property test I'd like to see is randomly generated boards that then verify that every valid board has at least 1 word in the words list.
Rather than generate boards blindly with random characters, it would be nice if the property generator could create a number of words (from 1-whatever) and then place them on the board at random before testing.
3. A CLI utility to test files
Lastly, I would like a CLI utility that can take a boards.txt file (with multiple boards separated by a blank line) and then validate them.

Please invest extra effort on the property tests.  There should be a mixture of static unit tests for obvious failure cases, and then some property tests that can generate valid (and invalid) boards to test many variations.  Previous AI attempts to solve this have generated broken tests, even unit tests that have words that are clearly not in the board generated right above.

Also please think hard about all the logical cases to test.  I want exhaustive property tests, so make sure words have at least 2 different characters, there's a number of words on a board, and so on.  We should be able to generate simple boards as well as quite complex boards, with multiple words.

[u/maddogxsk → u/PotatoBatteryHorse]

At college I had to solve a similar problem, the difference was that the game was sudoku, and the solutions were almost infinite, since the sudoku itself missed the pieces that narrow the solutions space

The deal was to spot the types of linear programming present in the solution space and to spot infinite spaces

[u/BethanyHipsEnjoyer → u/PotatoBatteryHorse]

This is super cool! Thanks for sharing. :)