1.5 Years Since the First Exam Where Someone Sat Seiza on a Chair | November Programming Ability Test to be Held in Ginowan, Okinawa [Deadline: October 16]

In April 2025, we held our first Programming Ability Test (Pro-Ken) at the Cross Wave classroom in Ginowan. Two people took ...
TechCrunch

OpenAI’s math solutions aren’t meeting the field’s standards yet

When OpenAI released hundreds of claimed solutions to some of the world’s hardest math problems this week, the frontier lab said that it had consulted an advisory group of elite mathematicians to ...
Science

AI for research mathematics has arrived

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...
TechCrunch

Anthropic says its biology lab has already found something big

Last week, Anthropic confirmed that it was operating a wet biology lab in the Bay Area where it uses its AI models to run physical experiments. This week, the AI giant announced that this lab has ...