LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

MXenes are an emerging class of two-dimensional materials whose properties depend sensitively on the atoms bound to their surfaces. A new synthesis approach now allows researchers to control these ...