A simple logic puzzle of numbers and colors. One new puzzle every day, starting easy and getting harder through the week.
sudoku · luna
classic 9×9 sudoku — easy, medium, hard, expert — generated client-side with a unique-solution check. notes mode, hints, autosaved progress per device.
Murdoku
Play Murdoku: free printable logic puzzles where murder mystery meets Sudoku. New cases twice a week.
Cryptle
Crack the daily colour code in Cryptle, a Mastermind and Wordle-inspired puzzle with easy, medium, and hard modes.
Sudoku-Bench
This leaderboard shows performance on the Sudoku-Bench reasoning evaluation dataset.
This Most Simple Sudoku Rule = Fog Magic
Pangrum - Daily Word Puzzle Game
Challenge yourself with Pangrum, a daily word puzzle game. Find words using seven letters, with a centre letter that must appear in every word. How many can you find?
Four Corners — Daily Word Puzzle
Four Corners is a daily category-sorting puzzle. Twelve words, four categories around the board — and four corner words that belong to two at once.
Four Corners — Daily Word Puzzle
Four Corners is a daily category-sorting puzzle. Twelve words, four categories around the board — and four corner words that belong to two at once.
Hashiwokakero
Hashiwokakero is a type of logic puzzle published by Nikoli. It has also been published in English under the name Bridges or Chopsticks. It has also appeared in The Times under the name Hashi. In France, Denmark, the Netherlands, and Belgium it is published under the name Ai-Ki-Ai.
Wordle - A daily word game
Guess the hidden word in 6 tries. A new puzzle is available each day.
RNGdle
A daily random number game. Roll your number, collect badges, and compete with friends.
Exploring the interplay between AI and human logic in mathematical problem-solving
This paper investigates the dynamic interplay between Artificial Intelligence (AI) and human logic in the domain of mathematical problem-solving. By critically examining a series of case studies, we compare the efficacy of AI-generated solutions, particularly those offered by ChatGPT, against traditional human problem-solving methods. The study employs various mathematical challenges, ranging from abstract logical puzzles to applied numerical problems, to evaluate AI's problem-solving approach and alignment with human cognitive processes. Our analysis highlights instances where AI's computational strategies complement or diverge from human reasoning, shedding light on AI's potential and limitations in deciphering mathematical problems. Furthermore, we explore the implications of integrating AI tools in educational contexts, specifically their role in enhancing students' mathematical problem-solving skills. The paper aims to contribute to the ongoing discourse on the optimal utilization of AI in education, proposing a balanced approach that leverages AI's computational power while fostering the depth and creativity of human logic. Through this comparative study, we advocate for a collaborative model where AI and human reasoning merge to enrich the educational landscape, particularly in the teaching and learning of mathematics.
Semble-Coding
~
Semble Multi-User Graph Explorer